• Corpus ID: 125227187

Effective differential elimination

  title={Effective differential elimination},
  author={Alexey Ovchinnikov and Gleb Pogudin and Ngoc Thieu Vo},
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… 

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

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



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

<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

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.

Solving Zero-Dimensional Algebraic Systems

  • D. Lazard
  • Computer Science, Mathematics
    J. Symb. Comput.
  • 1992

Algebraic complexity theory

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