# Effective differential elimination

@inproceedings{Ovchinnikov2016EffectiveDE, title={Effective differential elimination}, author={Alexey Ovchinnikov and Gleb Pogudin and Ngoc Thieu Vo}, year={2016} }

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

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

- Mathematics, Computer Science
- 2019

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

- Mathematics
- 2005

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

- Physics
- 1979

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

- Mathematics
- 2015

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

- MathematicsSIAM J. Comput.
- 1990

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

- PsychologyGrundlehren 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…