New effective differential Nullstellensatz
From MaRDI portal
Publication:908094
DOI10.1016/j.aim.2015.12.021zbMath1394.12003arXiv1411.1000MaRDI QIDQ908094
Richard Gustavson, Alexey Ovchinnikov, Marina Kondratieva
Publication date: 2 February 2016
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1411.1000
14Q20: Effectivity, complexity and computational aspects of algebraic geometry
12H05: Differential algebra
12H20: Abstract differential equations
Related Items
Algorithms yield upper bounds in differential algebra, Effective bounds for the consistency of differential equations, Products of ideals and jet schemes, Proof mining and effective bounds in differential polynomial rings, Elimination theory in differential and difference algebra, Combinatorial differential algebra of \(x^p\), New order bounds in differential elimination algorithms, On the Differential and Full Algebraic Complexities of Operator Matrices Transformations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Effective uniform bounding in partial differential fields
- On bounds for the effective differential Nullstellensatz
- Computing representations for radicals of finitely generated differential ideals
- Bounds for the degrees in the Nullstellensatz
- Factorization-free decomposition algorithms in differential algebra
- Nonstandard methods for bounds in differential polynomial rings
- Sharp estimates for the arithmetic Nullstellensatz
- A bound for orders in differential Nullstellensatz
- A combinatorial proof of the effective Nullstellensatz
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- On the effective Nullstellensatz
- FIELDS WITH SEVERAL COMMUTING DERIVATIONS
- Jet and prolongation spaces
- Sharp Effective Nullstellensatz
- Complexity of quantifier elimination in the theory of ordinary differential equations