Curves and computer algebra

  • D. Duval
  • M. -F. Roy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 391)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [B C R]
    J. Bochnak, M. Coste, M.-F. Roy: Géométrie algébrique réelle. Ergebnisse der Mathematik vol. 12. Berlin Heidelberg New York: Springer (1986).Google Scholar
  2. [Co]
    G. Collins: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science, vol. 33, 134–183.Google Scholar
  3. [C]
    M. Coste: Effective semi-algebraic geometry (1988). This volume.Google Scholar
  4. [C R]
    M. Coste, M.-F. Roy: Thom's lemma, the coding of real algebraic numbers and the topology of semi-algebraic sets. J. Symbolic Computation 5 (1988) 121–129.Google Scholar
  5. [Cu P 3R]
    F. Cucker, L. M. Pardo, M. Raimondo, T. Recio, M.-F. Roy: On the computation of the local and global analytic branches of real algebraic curves. To appear in AAECC Minorca (1987).Google Scholar
  6. [D S T]
    J. Davenport, Y. Siret, E. Tournier: Calcul formel. Paris: Masson (1986).Google Scholar
  7. [D-D]
    C. Dicrescenzo, D. Duval: Computation with algebraic numbers-the D5 system. Preprint (1987)Google Scholar
  8. [D]
    D. Duval: Rational puiseux expansions. Preprint (1987).Google Scholar
  9. [G T]
    P. Gianni, C. Traverso: Shape determination for real curves and surfaces. Ann. Univ. Ferrara vol. XXIX 87–109 (1983).Google Scholar
  10. [G O R]
    L. Gonzalez, M. Ollazabal, M.-F. Roy: Real algebraic numbers by Thom's lemma: an implementation. Preprint (1988).Google Scholar
  11. [R]
    M.-F. Roy: Computation of the topology of a real algebraic curve. To appear in Sevilla's congress on Computational Topology and Geometry (1987).Google Scholar
  12. [T]
    B. Trager: Integration of algebraic functions. Thèse M.I.T. (1984).Google Scholar
  13. [W]
    R. Walker: Algebraic curves. Berlin Heidelberg New York: Springer (1978).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • D. Duval
    • 1
  • M. -F. Roy
    • 2
  1. 1.Institut FourierGrenoble
  2. 2.Institut MathématiqueRennes

Personalised recommendations