S. Basu, R. Pollack, and M. Roy, Algorithms in real algebraic geometry, 2003.
DOI : 10.1007/978-3-662-05355-3

URL : https://hal.archives-ouvertes.fr/hal-01083587

R. Descartes and G. , A source book in Mathematics, pp.90-121, 1636.

G. Farin, Curves and surfaces for Computer Aided Design, 1990.

B. Mourrain, M. N. Vrahatis, and J. , YAKHOUBSON On the Complexity of Isolating Real Roots and Computing with Certainty the Topological Degree, Journal of Complexity, vol.182, pp.612-640, 2002.

N. Revol-and-f and . Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Workshop on Validated Computing, pp.155-161, 2002.

F. Rouillier and P. Zimmermann, Efficient isolation of polynomial's real roots, Journal of Computational and Applied Mathematics, vol.162, issue.1, pp.33-50, 2003.
DOI : 10.1016/j.cam.2003.08.015

J. V. Uspensky, Theory of equations, 1948.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399