scientific article; zbMATH DE number 4185817

MaRDI QIDQ5751006zbMATH OpenFDO

Authors Henri Lombardi

Publication date 1990

zbMATH Keywords

algorithmicformally real fieldsHilbert NullstellensatzPositivstellensatz

Mathematics Subject Classification ID

Relevant commutative algebra (14A05) Real algebraic sets (14P05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Recommendations

• scientific article; zbMATH DE number 5195
• On the complexity of the real Nullstellensatz in the 0-dimensional case
• scientific article; zbMATH DE number 16655
• scientific article; zbMATH DE number 939820
• Nullstellensatz revisited

Cited in

(10)

• Hilbert's Nullstellensatz revisited
• Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel
• Nullstellensatz revisited
• scientific article; zbMATH DE number 16655 (Why is no real title available?)
• scientific article; zbMATH DE number 1150476 (Why is no real title available?)
• scientific article; zbMATH DE number 5195 (Why is no real title available?)
• scientific article; zbMATH DE number 939820 (Why is no real title available?)
• An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
• Nullstellensatz for real fields using model theory
• The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5751006)