Proof mining and effective bounds in differential polynomial rings
From MaRDI portal
Publication:1711923
DOI10.1016/j.aim.2018.11.026zbMath1454.12003arXiv1609.07509OpenAlexW2962974487WikidataQ128825682 ScholiaQ128825682MaRDI QIDQ1711923
William Simmons, Henry Towsner
Publication date: 18 January 2019
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.07509
Related Items
Algorithms yield upper bounds in differential algebra ⋮ Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces ⋮ A universal algorithm for Krull's theorem ⋮ A computational study of a class of recursive inequalities ⋮ BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH ⋮ Explicit polynomial bounds on prime ideals in polynomial rings over fields
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A functional interpretation for nonstandard arithmetic
- Bounds in the theory of polynomial rings over fields. A nonstandard approach
- Computation of differential Chow forms for ordinary prime differential ideals
- Effective uniform bounding in partial differential fields
- On bounds for the effective differential Nullstellensatz
- New effective differential Nullstellensatz
- Bounds for the degrees in the Nullstellensatz
- The syntax of nonstandard analysis
- Classical recursion theory. Vol. II
- Nonstandard methods for bounds in differential polynomial rings
- An approximate logic for measures
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- A bound for orders in differential Nullstellensatz
- Nonstandardness and the bounded functional interpretation
- A combinatorial proof of the effective Nullstellensatz
- On the generalized Ritt problem as a computational problem
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- FIELDS WITH SEVERAL COMMUTING DERIVATIONS
- Bounds for Orders of Derivatives in Differential Elimination Algorithms
- Metastability in the Furstenberg–Zimmer tower
- Noetherian orders
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Bounds and definablity over fields.
- Ordinal numbers and the Hilbert basis theorem
- Constructions in Algebra
- Length of Polynomial Ascending Chains and Primitive Recursiveness.
- Ideal membership in polynomial rings over the integers
- Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
- Sharp Effective Nullstellensatz
- Complexity of quantifier elimination in the theory of ordinary differential equations
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Specializations in Differential Algebra
- On the analog for differential equations of the Hilbert-Netto theorem
- On the Interpretation of Non-Finitist Proofs--Part I
- On the interpretation of non-finitist proofs–Part II
- Logical Approaches to Computational Barriers
