Quantifier elimination: Optimal solution for two classical examples (Q1104314)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantifier elimination: Optimal solution for two classical examples |
scientific article; zbMATH DE number 4055583
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier elimination: Optimal solution for two classical examples |
scientific article; zbMATH DE number 4055583 |
Statements
Quantifier elimination: Optimal solution for two classical examples (English)
0 references
1988
0 references
Two equivalent quantifier-free formulas corresponding to the following two problems are given: \((1)\quad (\forall x)P(x)\geq 0,\) where P(x) is a polynomial of degree 4, \((2)\quad (\forall x)(\forall y)E(x,y)=0\Rightarrow C(x,y)\leq 0,\) where E(x,y) and C(x,y) are the ellipse and, respectively, unit circle expressions. The solutions are elegant and need elementary calculus.
0 references
quantifier elimination
0 references
positive polynomial problem
0 references
ellipse problem
0 references
