L. Alberti, B. Mourrain, and J. Wintz, Topology and arrangement computation of semi-algebraic planar curves, Computer Aided Geometric Design, vol.25, issue.8, pp.631-651, 2008.
DOI : 10.1016/j.cagd.2008.06.009
URL : https://hal.archives-ouvertes.fr/inria-00343110

S. Basu, R. Pollack, and M. Roy, Complexity of computing semi-algebraic descriptions of the connected components of a semi-algebraic set, Proceedings of the 1998 international symposium on Symbolic and algebraic computation , ISSAC '98, pp.25-29, 1998.
DOI : 10.1145/281508.281533

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

J. L. Bentley, Multidimensional divide-and-conquer, Communications of the ACM, vol.23, issue.4, pp.214-229, 1980.
DOI : 10.1145/358841.358850

G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, 2nd GI Conf. on Automata Theory and Formal Languages, pp.134-183, 1975.

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and . C. Stein, Introduction to Algorithms, 2001.

M. Coste, An introduction to semi-algebraic geometry, RAAG network school, 2002.

I. Z. Emiris, E. P. Tsigaridas, and G. M. Tzoumas, Exact Delaunay graph of smooth convex pseudo-circles, 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling on, SPM '09, pp.211-222, 2009.
DOI : 10.1145/1629255.1629282

G. Farin, Curves and Surfaces for CAGD: A Practical Guide, 2002.

R. M. Hardt, Triangulation of subanalytic sets and proper light subanalytic maps, Inventiones Mathematicae, vol.2, issue.no. 4, pp.207-217, 1976.
DOI : 10.1007/BF01403128

D. Henrion, J. Lasserre, and J. Lofberg, GloptiPoly 3: Moments, Optimization and Semidefinite Programming. Optimization Methods and Software, pp.761-779, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00172442

H. Hironaka, Triangulations of algebraic sets, Algebraic geometry (Proc. Sympos . Pure Math, pp.165-185, 1974.
DOI : 10.1090/pspum/029/0374131

G. N. Khim?ia?vili, The local degree of a smooth mapping, Sakharth. SSR Mecn. Akad. Moambe, vol.85, issue.2, pp.309-312, 1977.

J. Lasserre, of Optimization Series, Moments, Positive Polynomials and their Applications, 2009.

B. Mourrain and J. P. Pavone, Subdivision methods for solving polynomial equations, Journal of Symbolic Computation, vol.44, issue.3, pp.292-306, 2009.
DOI : 10.1016/j.jsc.2008.04.016
URL : https://hal.archives-ouvertes.fr/inria-00070350

F. Stenger, Computing the topological degree of a mapping inR n, Numerische Mathematik, vol.2, issue.1, pp.23-38, 1975.
DOI : 10.1007/BF01419526

A. Tarski, A Decision Method for Elementary Algebra and Geometry, 1951.
DOI : 10.1007/978-3-7091-9459-1_3