A continuous, constructive solution to Hilbert's 17th problem
continuous dependence on variables and coefficientscontinuous sums of squarescontinuous, piecewise rational solutionHilbert's \(17^{th}\) problemordered fieldpositive semi-definite polynomialreal closuresemi- algebraic setssemi-algebraic geometrysum of squaresweighted SOS
Intuitionistic mathematics (03F55) Other constructive mathematics (03F65) Forms over real fields (11E10) General binary quadratic forms (11E16) Forms of degree higher than two (11E76) Connections of number theory and logic (11U99) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ordered fields (12J15) Real algebraic and real-analytic geometry (14Pxx) Topological fields, rings, etc. (topological aspects) (54H13)
- A finiteness theorem for open semi-algebraic sets, with applications to Hilbert’s 17th problem
- Decision procedures for real and p‐adic fields
- 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?)
- 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
- Piecewise-rational retractions onto closed, convex, semi-algebraic sets with interior-synopsis
- On mechanical quantifier elimination for elementary algebra and geometry
- A bibliography of quantifier elimination for real closed fields
- On the idea(l) of logical closure
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
- 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
- An -algebra approach to Artin's solution of Hilbert's seventeenth problem
- Bilinear equations and resonant solutions characterized by Bell polynomials
- An explicit solution to Post's problem over the reals
- Ein Existenzsatz über reelle definite Polynome
- Positivity and optimization: beyond polynomials
- scientific article; zbMATH DE number 421671 (Why is no real title available?)
- Regulous functions
- The Noncommutative Graded Positivstellensatz
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Trilinear equations, Bell polynomials, and resonant solutions
- scientific article; zbMATH DE number 589353 (Why is no real title available?)
- scientific article; zbMATH DE number 1082910 (Why is no real title available?)
- Continous, piecewise-polynomial functions which solve Hilbert's 17th problem.
- Dependence on parameters in analogues of hilberts seventeenth problem
- Artin's theorem for f-rings
- Continuous Pythagoras numbers for rational quadratic forms
- Constructive analysis of maximal ideals in \(\mathbb{Z}[X]\) by the material interpretation
- On odd powers of nonnegative polynomials that are not sums of squares
- Some continuous Positivstellensätze
- Geometric reasoning with logic and algebra
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)
