Fetching the paper…
Reading the bibliography…
We prove elementary recursive bounds in the degrees for Positivstellensatz and Hilbert 17-th problem, which is the expression of a nonnegative polynomial as a sum of squares of rational functions.
Mathematische Probleme
Hilbert D · 1901
Earlier work this paper cites.
Sur les problèmes futurs des mathématiques
Hilbert D · 1902
Earlier work this paper cites.
Mathematical problems
Hilbert D · 1902
Earlier work this paper cites.
Die frage der endlich vielen schritte in der theorie der polynomialideale
Hermann G · 1926
Earlier work this paper cites.
Modern Algebra, Volume II
van der Waerden B. L · 1950
Earlier work this paper cites.
A decision method for elementary algebra and geometry
Tarski A · 1951
Earlier work this paper cites.
A new decision method for elementary algebra
Seidenberg A · 1954
Earlier work this paper cites.
Kreisel G. Hilbert’s 17-th problem
1957
Earlier work this paper cites.
Gantmacher F. R. The theory of matrices
1959
Earlier work this paper cites.
Kreisel G. Sums of squares
1960
Earlier work this paper cites.
Daykin D. E. Hilbert’s 17th problem . Ph.D. Thesis, Univ. of Reading, (1961) unpublished
1961
Earlier work this paper cites.
Krivine J.-L. Anneaux préordonnés
1964
Earlier work this paper cites.
Artin E. Uber die Zerlegung definiter Funktionen in Quadrate
1965
Earlier work this paper cites.
Lojasiewicz S. Ensembles semi-analytiques
1965
Earlier work this paper cites.
Cohen P. J. Decision procedures for real and p-adic fields
1969
Earlier work this paper cites.
Dubois D. A nullstellensatz for ordered fields,
1969
Earlier work this paper cites.
Risler J.-J. Une caractérisation des idéaux des variétés algébriques réelles,
1970
Earlier work this paper cites.
Efroymson G. Local reality on algebraic varieties
1974
Cited alongside, same era.
Stengle G. A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
1974
Cited alongside, same era.
Collins G. Quantifier Elimination for real closed fields by cylindric algebraic decomposition
1975
Cited alongside, same era.
Elementary-recursive decision procedures
Monk L. G · 1975
Cited alongside, same era.
Hörmander L. The analysis of linear partial differential operators
1983
Cited alongside, same era.
Subrecursion: functions and hierarchies
Rose H · 1984
Cited alongside, same era.
Lancaster P. and Tismenetsky, M. The Theory of Matrices
Lombardi H. Effective real nullstellensatz and variants
1991
Later among the works it cites.
Lombardi H. Une borne sur les degrés pour le Théorème des zéros réel effectif
1992
Later among the works it cites.
On the computational complexity and geometry of the first-order theory of the reals. I-III
Renegar J · 1992
Later among the works it cites.
Basu S., Pollack R. and Roy M.-F. On the Combinatorial and Algebraic Complexity of Quantifier Elimination
1996
Later among the works it cites.
Delzell C.N. Kreisel’s unwinding of Artin’s proof
1996
Later among the works it cites.
Warou H. An algorithm and bounds for the real effective Nullstellensatz in one variable
1996
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
1985
Cited alongside, same era.
Local diophantine nullstellen identities
Brownawell W. D · 1988
Cited alongside, same era.
Borne simplement exponentielle pour les degrés dans le théorème des zéros sur un corps de caractéristique quelconque
Caniglia L., Galligo A. and Heintz J · 1988
Cited alongside, same era.
Coste M. and Roy M.-F. Thom’s lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
1988
Cited alongside, same era.
Real quantifier elimination is doubly exponential
Davenport J. H. and Heintz J · 1988
Cited alongside, same era.
Complexity of deciding Tarski algebra
Grigoriev D · 1988
Cited alongside, same era.
Géométrie algébrique réelle
Bochnak J., Coste M. and Roy M.-F · 1998
Later among the works it cites.
Effective nullstellensatz for arbitrary ideals
Kollár J · 1999
Later among the works it cites.
On the degree complexity of Hilbert’s 17th problem and the Real Nullstellensatz
Schmid J · 2000
Later among the works it cites.
Coste M., Lombardi H. and Roy M.-F. Dynamical method in algebra: Effective Nullstellensätze
2001
Later among the works it cites.
Complexity of Null- and Positivstellensatz proofs
Grigoriev D. and Vorobjov N · 2002
Later among the works it cites.
Algorithms in real algebraic geometry
Basu S., Pollack R. and Roy M.-F · 2003
Later among the works it cites.
Díaz-Toca G., Gonzalez-Vega G. and Lombardi H. Generalizing Cramer’s Rule: Solving uniformly linear systems of equations
2005
Later among the works it cites.
Jelonek Z., On the effective Nullstellensatz
2005
Later among the works it cites.
Algorithms in real algebraic geometry
Basu S., Pollack R. and Roy M.-F · 2006
Later among the works it cites.
Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
Cox D., Little, J. and O’Shea, D · 2007
Later among the works it cites.
Perrucci D. and Roy M.-F. Zero-nonzero and real-nonreal sign determination
2013
Later among the works it cites.