A continuous, constructive solution to Hilbert's 17th problem

DOI10.1007/BF01388465zbMATH Open0547.12017MaRDI QIDQ798716FDOQ798716

Authors: Charles N. Delzell 

Publication date: 1984

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/143128

Recommendations

• scientific article; zbMATH DE number 421671
• On Hilbert's 17th problem in low degree
• Continous, piecewise-polynomial functions which solve Hilbert's 17th problem.
• scientific article; zbMATH DE number 589353
• scientific article; zbMATH DE number 1601019

zbMATH Keywords

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

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision procedures for real and p‐adic fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Representation of a Rational as a Sum of Four Squares By Means of Regular Functions
• Mathematical significance of consistency proofs
• Trim stratification of semianalytic sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• A finiteness theorem for open semi-algebraic sets, with applications to Hilbert’s 17th problem

Cited In (23)

• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• A bibliography of quantifier elimination for real closed fields
• Continuity properties for flat families of polynomials. I: Continuous parametrizations
• Trilinear equations, Bell polynomials, and resonant solutions
• 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
• Title not available (Why is that?)
• 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
• Continous, piecewise-polynomial functions which solve Hilbert's 17th problem.
• Bilinear equations and resonant solutions characterized by Bell polynomials
• Title not available (Why is that?)
• Dependence on parameters in analogues of hilberts seventeenth problem
• 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)