Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1113

Preprint Number 1113

Previous Next Preprint server

1113. Alexey Ovchinnikov, Gleb Pogudin, and N. Thieu Vo
Effective Differential Nullstellensatz

Submission date: 13 October 2016


The effective differential Nullstellensatz is a fundamental result in the computational theory of algebraic differential equations. It allows one to reduce problems about differential equations to problems about polynomial equations. In particular, it provides an algorithm for checking consistency of a system of algebraic differential equations and an algorithm for testing membership in radical differential ideals. This problem and related questions received much attention during the last decade. An upper bound for the effective differential Nullstellensatz was improved several times. For the case of one derivation, we present a new bound, which is asymptotically significantly better than the previously known bounds. Moreover, our bound is the first bound that has feasible numerical values from the computational point of view.

Mathematics Subject Classification: 12H05, 12H20, 14Q20

Keywords and phrases:

Full text arXiv 1610.04022: pdf, ps.

Last updated: November 2 2016 22:35 Please send your corrections to: