1. D.S. Arnon, B. Buchberger, Algorithms in Real Algebraic Geometry, Reprinted from the Journal of Symbolic Computation, vol 5, number 1–2, Academic Press, 1988.
2. J. Davenport, Y. Siret, E. Tournier, Calcul formel: systèmes et algorithmes de manipulations algébriques, Masson, Paris, 1987.
3. J. Bochnak, M. Coste, M-F. Roy, Géométrie algébrique réelle, Springer-Verlag, Berlin, 1987.
4. B. Buchberger, G.E. Collins, R. Loos, Computer algebra. Symbolic and Algebraic Computation, Springer-Verlag, New-York, 1982.
5. J. Della-Dora, M-F. Roy, J-J. Risler, Calcul Formel et outils algébriques pour la modélisation géométrique, Actes du Séminaire, CNRS, 1988.