The Positivstellensatz and Small Deduction Rules for Systems of Inequalities

DOI10.1002/mana.3211810110zbMath0877.14001OpenAlexW2096901933MaRDI QIDQ4892483

Henri Lombardi, Nicolai E. Mnëv, Marie-Françoise Roy

Publication date: 25 November 1996

Published in: Mathematische Nachrichten (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/mana.3211810110

zbMATH Keywords

quadratic functionssign conditionsbasic semi-algebraic setquadratic-ring equivalent

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Relevant commutative algebra (14A05)

Related Items (3)

Unnamed Item ⋮ Algebraic proof systems over formulas. ⋮ Complexity of Null- and Positivstellensatz proofs

This page was built for publication: The Positivstellensatz and Small Deduction Rules for Systems of Inequalities