A continuous, constructive solution to Hilbert's 17th problem
sum of squaresreal closureordered fieldsemi-algebraic geometrycontinuous dependence on variables and coefficientscontinuous sums of squarescontinuous, piecewise rational solutionHilbert's \(17^{th}\) problempositive semi-definite polynomialsemi- algebraic setsweighted SOS
Other constructive mathematics (03F65) Forms of degree higher than two (11E76) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Intuitionistic mathematics (03F55) Ordered fields (12J15) Topological fields, rings, etc. (topological aspects) (54H13) Forms over real fields (11E10) General binary quadratic forms (11E16) Real algebraic and real-analytic geometry (14Pxx) Connections of number theory and logic (11U99)
- scientific article; zbMATH DE number 3836130 (Why is no real title available?)
- scientific article; zbMATH DE number 3645237 (Why is no real title available?)
- scientific article; zbMATH DE number 3648866 (Why is no real title available?)
- scientific article; zbMATH DE number 3825797 (Why is no real title available?)
- scientific article; zbMATH DE number 3689524 (Why is no real title available?)
- scientific article; zbMATH DE number 3518931 (Why is no real title available?)
- scientific article; zbMATH DE number 3550924 (Why is no real title available?)
- scientific article; zbMATH DE number 3234211 (Why is no real title available?)
- scientific article; zbMATH DE number 3235040 (Why is no real title available?)
- A finiteness theorem for open semi-algebraic sets, with applications to Hilbert’s 17th problem
- Decision procedures for real and p‐adic fields
- Mathematical significance of consistency proofs
- On the Representation of a Rational as a Sum of Four Squares By Means of Regular Functions
- Trim stratification of semianalytic sets
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- A bibliography of quantifier elimination for real closed fields
- Trilinear equations, Bell polynomials, and resonant solutions
- Continuity properties for flat families of polynomials. I: Continuous parametrizations
- Ein Existenzsatz über reelle definite Polynome
- Impossibility of \(C^{\infty}\) variation or formal power series variation in solutions to Hilbert's 17th problem
- Positivity and optimization: beyond polynomials
- scientific article; zbMATH DE number 421671 (Why is no real title available?)
- Regulous functions
- Continuous Pythagoras numbers for rational quadratic forms
- An \(\ell\)-algebra approach to Artin's solution of Hilbert's seventeenth problem
- The Noncommutative Graded Positivstellensatz
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
- Geometric reasoning with logic and algebra
- On mechanical quantifier elimination for elementary algebra and geometry
- Bilinear equations and resonant solutions characterized by Bell polynomials
- Continous, piecewise-polynomial functions which solve Hilbert's 17th problem.
- scientific article; zbMATH DE number 589353 (Why is no real title available?)
- Dependence on parameters in analogues of hilberts seventeenth problem
- Artin's theorem for \(f\)-rings
- On the idea(l) of logical closure
- Some continuous Positivstellensätze
- Piecewise-rational retractions onto closed, convex, semi-algebraic sets with interior-synopsis
- An explicit solution to Post's problem over the reals
This page was built for publication: A continuous, constructive solution to Hilbert's \(17^{th}\) problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798716)
