paper

A Bound for Orders in Differential Nullstellensatz

arXiv:0803.0160 · doi:10.1016/j.jalgebra.2009.05.032

Abstract

We give the first known bound for orders of differentiations in differential Nullstellensatz for both partial and ordinary algebraic differential equations. This problem was previously addressed by A. Seidenberg but no complete solution was given. Our result is a complement to the corresponding result in algebraic geometry, which gives a bound on degrees of polynomial coefficients in effective Nullstellensatz.

25 pages; improved bound; simplified main argument; more detailed proofs

References in corpus (1)

Cited by in corpus (7)