论文信息 - Quantifier Elimination: Optimal Solution for Two Classical Examples

Quantifier Elimination: Optimal Solution for Two Classical Examples

Optimal solutions are given for the two following problems: the condition for a degree 4 polynomial to have only positive values and the condition for an ellipse to be inside the unit circle.

Daniel Lazard | D. Lazard

[1] Scott F. Smith,et al. Towards mechanical solution of the Kahan Ellipse Problem 1 , 1983, EUROCAL.

[2] Markus Lauer. A solution to Kahan's problem (SIGSAM problem no. 9) , 1977, SIGS.

[3] Dennis S. Arnon. On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem , 1985, European Conference on Computer Algebra.

[4] William Kahan. Problem #9: an ellipse problem , 1975, SIGS.