scientific article; zbMATH DE number 5195

zbMath0787.14035MaRDI QIDQ4712921

Henri Lombardi

Publication date: 25 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formally real fieldordered fieldHilbert NullstellensatzHörmander algorithmconstructive proof of the real nullstellensatzmixed Taylor formulasPositiv-Stellensatz

Mathematics Subject Classification ID

Real algebraic sets (14P05) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Relevant commutative algebra (14A05)

Related Items (2)

An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem ⋮ Construction of the Henselization of a valued field

This page was built for publication: