• Corpus ID: 125227187

# Effective differential elimination

```@inproceedings{Ovchinnikov2016EffectiveDE,
title={Effective differential elimination},
author={Alexey Ovchinnikov and Gleb Pogudin and Ngoc Thieu Vo},
year={2016}
}```
• Published 13 October 2016
• Computer Science, Mathematics
Elimination of unknowns from systems of equations, starting with Gaussian elimination, is a problem of general interest. In this paper, we study elimination of unknowns from systems of polynomial ODEs, that is, how to derive consequences of a system that do not depend on a selected set of unknowns. This is called differential elimination. One way to do this is to find a uniform (independent of the coefficients of the system) upper bound N so that, after differentiating the system N times, the…
3 Citations

## Tables from this paper

### On the Complexity of Computing Galois Groups of Differential Equations

On the Complexity of Computing Galois Groups of Differential Equations by Mengxiao Sun, a double-exponential degree bound for computing Gröbner bases was involved when Feng derived the complexity bound of computing a proto-Galois group.

### Effective difference elimination and Nullstellensatz

• Mathematics
• 2017
We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system

## References

SHOWING 1-10 OF 21 REFERENCES

### On the effective Nullstellensatz

AbstractLet \$\mathbb{K}\$ be an algebraically closed field and let \$X\subset\mathbb{K}^m\$ be an n-dimensional affine variety. Assume that f1,...,fk are polynomials which have no common zeros on X. We

### Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties

• Mathematics, Art
• 2000
<abstract abstract-type="TeX"><p>Let <i>A</i> be a semi-abelian variety, and <i>X</i> a subvariety of <i>A</i>, both defined over a number field. Assume that <i>X</i> does not contain <i>X</i><sub

### Stochastic self-modulation of waves in nonequilibrium media

The paper reports the discovery and investigation, through a qualitative analysis and a numerical experiment, of a stochasticity that arises as a result of the development of modulation instability

### Polynomial identities and asymptotic methods

• Mathematics
• 2005
Polynomial identities and PI-algebras \$S_n\$-representations Group gradings and group actions Codimension and colength growth Matrix invariants and central polynomials The PI-exponent of an algebra

### A differential analog of the Noether normalization lemma

In this paper, we prove the following differential analog of the Noether normalization lemma: for every \$d\$-dimensional differential algebraic variety over differentially closed field of zero

### The Structure of Polynomial Ideals and Gröbner Bases

It is shown that every ideal has a cone decomposition of a standard f orm and the following sharpened bound for the degree of polynomials in a Grobner basis can be produced.

### Algebraic complexity theory

• Psychology
Grundlehren der mathematischen Wissenschaften
• 1997
This is the first book to present an up-to-date and self-contained account of Algebraic Complexity Theory that is both comprehensive and unified. Requiring of the reader only some basic algebra and