The Positivstellensatz and Small Deduction Rules for Systems of Inequalities

DOI10.1002/MANA.3211810110zbMATH Open0877.14001OpenAlexW2096901933MaRDI QIDQ4892483FDOQ4892483

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

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

zbMATH Keywords

quadratic functionssign conditionsbasic semi-algebraic setquadratic-ring equivalent

Mathematics Subject Classification ID

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

Cited In (4)

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

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)