Quantifier elimination: Optimal solution for two classical examples (Q1104314): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:13, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier elimination: Optimal solution for two classical examples |
scientific article |
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
