A solution to Kahan's problem (SIGSAM problem no. 9)

Authors:
Markus Lauer
Affiliations:
Universität Karlsruhe, Fakultät für Informatik
Venue:
ACM SIGSAM Bulletin
Year:
1977

Citing 3
Cited 3

The Calculation of Multivariate Polynomial Resultants

Journal of the ACM (JACM)
The SAC-1 system: An introduction and survey

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Problem #9: an ellipse problem

ACM SIGSAM Bulletin

On mechanical quantifier elimination for elementary algebra and geometry

Journal of Symbolic Computation
Quantifier elimination: Optimal solution for two classical examples

Journal of Symbolic Computation
Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem was ([Kah75]) :Let the variables a,b,c,d (which are supposed to take real values) be interpreted as the center (c,d) and the principal semiaxes a,b of an ellipse. Find necessary and sufficient conditions for a,b,c,d such that[EQUATION]holds. Furthermore the conditions should be given as polynomial inequalities.