Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander
Paugam, Annette
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990), p. 161-188 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1990-01-01
@article{ITA_1990__24_2_161_0,
     author = {Paugam, Annette},
     title = {R\'esolution du probl\`eme de l'ellipse et du cercle par l'algorithme de H\"ormander},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {24},
     year = {1990},
     pages = {161-188},
     mrnumber = {1073532},
     zbl = {0701.68055},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1990__24_2_161_0}
}

Paugam, Annette. Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) pp. 161-188. http://gdmltest.u-ga.fr/item/ITA_1990__24_2_161_0/

1. D. S. Arnon, G. E. Collins et S. Mccallum, Cylindrical Algebraic Decomposition I and II: the Basic Algorithm, Siam J. Comput., vol. 13, n° 4, nov. 84, p.865-889. | MR 764184

2. D. S. Arnon, Towards Mechanical Solution of Kahan Ellipse Problem I, Computer Algebra, Lectures Notes, 162, Springer-Verlag, 1983. | MR 774802 | Zbl 0553.68031

3. D. S. Arnon, On Mechanical Quantifier Elimination For Elementary. Algebra and Geometry: Solution of a non Trivial Problem, Eurocal 85, Lectures Notes 204, p. 270-271, Springer-Verlag, 1985.

4. D. S. Arnon et M. Mignotte, On Mechanical Quantifier Elimination For Elementary Algebra and Geometry, J. Symbolic Computation, Vol. 5, 1988, p. 237-259. | MR 949121 | Zbl 0644.68051

5. J. Bochnak et M. Coste, M.-F. Roy, Géométrie Algébrique Réelle, Ergebnisse der Mathematik, Springer-Verlag, 1987. | MR 949442 | Zbl 0633.14016

6. W. S. Brown et J.-F. Traub, On Euclid's Algorithm and the Theory of Subresultants, J. Assoc. Comput. Math., vol. 18, n° 4, 1971, p. 505-514. | MR 303684 | Zbl 0226.65041

7. G. E. Collins, Quantifier Elimination for Real Closed Fields: a Guide to the Litterature, Computer Algebra Symbolic and Algebraic Computation, Springer-Verlag, 1982-1983. | MR 728966 | Zbl 0495.03016

8. G. E. Collinset R. Loos, Real Zeros of Polynomials, Computer Algebra Symbolic and Algebraic Computation, Springer-Verlag, 1982-1983. | MR 728967 | Zbl 0533.68038

9. Hörmander , The Analysis of Linear Partiel Differential Operators, tome 2, Springer-Verlag, 1983.

10. N. Jacobson, Basic Algebra I, San Francisco, Freeman, 1974. | MR 356989 | Zbl 0284.16001

11. W. Kahan, « Problem=9: an Ellipse Problem », SIGSAM Bulletin of the Assoc. Comp. Math., vol. 9, 1975, p. 11.

12. M. Lauer, A solution to Kahan's problem (SIGSAM problem n° 9); SIGSAM Bulletin of the Ass. Com. Math., vol. 11, 1977, p. 16-20. | Zbl 0401.51010

13. D. Lazard, Quantifier Elimination: Optimal Solution for 2 Classical Examples, J. Symbolic Computation, vol. 5, 1988, p. 261-266. | MR 949122 | Zbl 0647.03023

14. R. Loos, Generalized Polynomial Remainder Sequences, Computer Algebra Symbolic and Algebraic Commutation, Springer-Verlag, 1982-1983. | MR 728969 | Zbl 0577.13001

15. R. Loos, Computing in Algebraic Extensions, Computer Algebra Symbolic and Algebraic Computation, Springer-Verlag, 1982-1983. | MR 728972 | Zbl 0576.12001

16. M. Mignotte, Solution au problème de Kahan (non publié).

17. A. Paugam, Comparaison entre 3 algorithmes d'élimination des quantificateurs sur les corps réels clos, Thèse, 1986.

18. A. Seidenberg, A New Decision Method for Elementary Algebra, Ann. of Math. 60, 1954, p, 365-374. | MR 63994 | Zbl 0056.01804

19. A. Tarski, A Decision Method for Elementary Algebra and Geometry, Prepared for publication by J. C. C. MacKinsey, Berkeley, 1951. | Zbl 0044.25102