Proof mining and effective bounds in differential polynomial rings (Q1711923): Difference between revisions

@@ Property / DOI @@
-.1016/j.aim.2018.11.026
@@ Property / DOI: 10.1016/j.aim.2018.11.026 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962974487
@@ Property / OpenAlex ID: W2962974487 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07509
@@ Property / arXiv ID: 1609.07509 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideal membership in polynomial rings over the integers
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Metastability in the Furstenberg–Zimmer tower
@@ Property / cites work: Metastability in the Furstenberg–Zimmer tower / rank @@
+Normal rank
@@ Property / cites work @@
+A functional interpretation for nonstandard arithmetic
+Normal rank
@@ Property / cites work @@
+Q4227290
@@ Property / cites work: Q4227290 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for the degrees in the Nullstellensatz
@@ Property / cites work: Bounds for the degrees in the Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
+Normal rank
@@ Property / cites work @@
+A combinatorial proof of the effective Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Nonstandardness and the bounded functional interpretation
+Normal rank
@@ Property / cites work @@
+Effective uniform bounding in partial differential fields
+Normal rank
@@ Property / cites work @@
+Q3079693
@@ Property / cites work: Q3079693 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+An approximate logic for measures
@@ Property / cites work: An approximate logic for measures / rank @@
+Normal rank
@@ Property / cites work @@
+On the generalized Ritt problem as a computational problem
+Normal rank
@@ Property / cites work @@
+A bound for orders in differential Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Complexity of quantifier elimination in the theory of ordinary differential equations
+Normal rank
@@ Property / cites work @@
+New effective differential Nullstellensatz
@@ Property / cites work: New effective differential Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for Orders of Derivatives in Differential Elimination Algorithms
+Normal rank
@@ Property / cites work @@
+Nonstandard methods for bounds in differential polynomial rings
+Normal rank
@@ Property / cites work @@
+Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
+Normal rank
@@ Property / cites work @@
+Q3255437
@@ Property / cites work: Q3255437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2998348
@@ Property / cites work: Q2998348 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837732
@@ Property / cites work: Q3837732 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp Effective Nullstellensatz
@@ Property / cites work: Sharp Effective Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229400
@@ Property / cites work: Q4229400 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+On bounds for the effective differential Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Computation of differential Chow forms for ordinary prime differential ideals
+Normal rank
@@ Property / cites work @@
+Q4872381
@@ Property / cites work: Q4872381 / rank @@
+Normal rank
@@ Property / cites work @@
+Length of Polynomial Ascending Chains and Primitive Recursiveness.
+Normal rank
@@ Property / cites work @@
+The syntax of nonstandard analysis
@@ Property / cites work: The syntax of nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Noetherian orders
@@ Property / cites work: Noetherian orders / rank @@
+Normal rank
@@ Property / cites work @@
+FIELDS WITH SEVERAL COMMUTING DERIVATIONS
@@ Property / cites work: FIELDS WITH SEVERAL COMMUTING DERIVATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+On the analog for differential equations of the Hilbert-Netto theorem
+Normal rank
@@ Property / cites work @@
+Specializations in Differential Algebra
@@ Property / cites work: Specializations in Differential Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds and definablity over fields.
@@ Property / cites work: Bounds and definablity over fields. / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions in Algebra
@@ Property / cites work: Constructions in Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal numbers and the Hilbert basis theorem
@@ Property / cites work: Ordinal numbers and the Hilbert basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3153351
@@ Property / cites work: Q3153351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200109
@@ Property / cites work: Q4200109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3545513
@@ Property / cites work: Q3545513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480762
@@ Property / cites work: Q5480762 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Bounds in the theory of polynomial rings over fields. A nonstandard approach
+Normal rank
@@ Property / Wikidata QID @@
+Q128825682
@@ Property / Wikidata QID: Q128825682 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.AIM.2018.11.026
@@ Property / DOI: 10.1016/J.AIM.2018.11.026 / rank @@
+Normal rank