Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 24, Number 2, 1990
Page(s) 161 - 188
DOI https://doi.org/10.1051/ita/1990240201611
Published online 01 February 2017
  1. 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. [Zbl: 0562.14001] [MR: 764184]
  2. 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. 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. 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. 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. 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. 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. 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. 9. HÖRMANDER, The Analysis of Linear Partiel Differential Operators, tome 2, Springer-Verlag, 1983. [Zbl: 0521.35002]
  10. 10. N. JACOBSON, Basic Algebra I, San Francisco, Freeman, 1974. [MR: 356989] [Zbl: 0284.16001]
  11. 11. W. KAHAN, « Problem=9: an Ellipse Problem », SIGSAM Bulletin of the Assoc. Comp. Math., vol. 9, 1975, p. 11.
  12. 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. 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. 14. R. LOOS, Generalized Polynomial Remainder Sequences, Computer Algebra Symbolic and Algebraic Commutation, Springer-Verlag, 1982-1983. [MR: 728969] [Zbl: 0577.13001]
  15. 15. R. LOOS, Computing in Algebraic Extensions, Computer Algebra Symbolic and Algebraic Computation, Springer-Verlag, 1982-1983. [MR: 728972] [Zbl: 0576.12001]
  16. 16. M. MIGNOTTE, Solution au problème de Kahan (non publié).
  17. 17. A. PAUGAM, Comparaison entre 3 algorithmes d'élimination des quantificateurs sur les corps réels clos, Thèse, 1986.
  18. 18. A. SEIDENBERG, A New Decision Method for Elementary Algebra, Ann. of Math. 60, 1954, p, 365-374. [MR: 63994] [Zbl: 0056.01804]
  19. 19. A. TARSKI, A Decision Method for Elementary Algebra and Geometry, Prepared for publication by J. C. C. MacKinsey, Berkeley, 1951. [Zbl: 0044.25102]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.