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
- scientific article; zbMATH DE number 589353 (Why is no real title available?)
- Artin's theorem for \(f\)-rings
- The Noncommutative Graded Positivstellensatz
- Piecewise-rational retractions onto closed, convex, semi-algebraic sets with interior-synopsis
- Continuous Pythagoras numbers for rational quadratic forms
- Dependence on parameters in analogues of hilberts seventeenth problem
- Ein Existenzsatz über reelle definite Polynome
- Positivity and optimization: beyond polynomials
- Geometric reasoning with logic and algebra
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- On the idea(l) of logical closure
- Regulous functions
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
- An \(\ell\)-algebra approach to Artin's solution of Hilbert's seventeenth problem
- Continous, piecewise-polynomial functions which solve Hilbert's 17th problem.
- Bilinear equations and resonant solutions characterized by Bell polynomials
- Some continuous Positivstellensätze
- scientific article; zbMATH DE number 421671 (Why is no real title available?)
- A bibliography of quantifier elimination for real closed fields
- On mechanical quantifier elimination for elementary algebra and geometry
- An explicit solution to Post's problem over the reals
- Continuity properties for flat families of polynomials. I: Continuous parametrizations
- Impossibility of \(C^{\infty}\) variation or formal power series variation in solutions to Hilbert's 17th problem
- Trilinear equations, Bell polynomials, and resonant solutions
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)
