On bounds for the effective differential Nullstellensatz

DOI10.1016/j.jalgebra.2015.10.009zbMath1385.12001arXiv1508.07508OpenAlexW2140712161MaRDI QIDQ907329

Alexey Ovchinnikov, Omar León Sánchez

Publication date: 25 January 2016

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1508.07508

zbMATH Keywords

antichain sequenceseffective differential Nullstellensatz

Mathematics Subject Classification ID

Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Differential algebra (12H05)

Related Items (5)

Effective bounds for the consistency of differential equations ⋮ New order bounds in differential elimination algorithms ⋮ New effective differential Nullstellensatz ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Estimates for the coefficients of differential dimension polynomials

Cites Work

• Unnamed Item
• Unnamed Item
• Petri nets and large finite sets
• Bounds for the degrees in the Nullstellensatz
• A bound for orders in differential Nullstellensatz
• FIELDS WITH SEVERAL COMMUTING DERIVATIONS
• Length of Polynomial Ascending Chains and Primitive Recursiveness.
• Sharp Effective Nullstellensatz

This page was built for publication: On bounds for the effective differential Nullstellensatz