The Positivstellensatz and Small Deduction Rules for Systems of Inequalities (Q4892483)
From MaRDI portal
scientific article; zbMATH DE number 927271
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Positivstellensatz and Small Deduction Rules for Systems of Inequalities |
scientific article; zbMATH DE number 927271 |
Statements
The Positivstellensatz and Small Deduction Rules for Systems of Inequalities (English)
0 references
25 November 1996
0 references
basic semi-algebraic set
0 references
quadratic functions
0 references
sign conditions
0 references
quadratic-ring equivalent
0 references
