The Positivstellensatz and Small Deduction Rules for Systems of Inequalities

DOI10.1002/MANA.3211810110MaRDI QIDQ4892483zbMATH OpenOpenAlexFDO

Authors Henri Lombardi, N. Mnev, 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)

Recommendations

• Tautologies and positive solvability of linear homogeneous systems
• Existence theorems for inequality systems
• On finite linear systems containing strict inequalities
• On the satisfiability of linear systems of equations for quantifiers
• scientific article; zbMATH DE number 3088052
• scientific article; zbMATH DE number 4075274
• scientific article; zbMATH DE number 1145265
• Positive solutions of positive linear systems
• Positive solutions to a system of variational inequalities
• On the existence of solutions for linear inequality systems

Cited in

(4)

• Algebraic proof systems over formulas.
• The relation between polynomial calculus, Sherali-Adams, and sum-of-squares proofs
• A note on Robinson's non-negativity criterion
• Complexity of Null- and Positivstellensatz proofs

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

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