L. Alberti, B. Mourrain, and J. P. Técourt, Isotopic triangulation of a real algebraic surface, Journal of Symbolic Computation, vol.44, issue.9, pp.1291-1310, 2009.
DOI : 10.1016/j.jsc.2008.02.007
URL : https://hal.archives-ouvertes.fr/inria-00433141

V. I. Arnold, A. Varchenko, and S. Gusein-zade, Singularities of Differentiable Maps: Volume I: The Classification of Critical Points Caustics and Wave Fronts, 1988.

B. Bank, M. Giusti, J. Heintz, G. Lecerf, G. Matera et al., Degeneracy Loci and Polynomial Equation Solving, Foundations of Computational Mathematics, vol.15, issue.1, pp.159-184, 2015.
DOI : 10.1007/s10208-014-9214-z

D. J. Bates, J. D. Hauenstein, A. J. Sommese, I. Wampler, and C. W. , Adaptive Multiprecision Path Tracking, SIAM Journal on Numerical Analysis, vol.46, issue.2, pp.722-746, 2008.
DOI : 10.1137/060658862

E. Berberich, M. Kerber, and M. Sagraloff, An efficient algorithm for the stratification and triangulation of an algebraic surface, Computational Geometry, vol.43, issue.3, pp.257-278, 2010.
DOI : 10.1016/j.comgeo.2009.01.009

J. Cheng, S. Lazard, L. Peñaranda, M. Pouget, F. Rouillier et al., On the Topology of Real Algebraic Plane Curves, Mathematics in Computer Science, vol.41, issue.9, pp.113-137, 2010.
DOI : 10.1007/s11786-010-0044-3
URL : https://hal.archives-ouvertes.fr/inria-00517175

D. N. Daouda, B. Mourrain, and O. Ruatta, On the computation of the topology of a non-reduced implicit space curve, Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, ISSAC '08, pp.47-54, 2008.
DOI : 10.1145/1390768.1390778

J. Dedieu, Points fixes, zéros et la méthode de Newton, Mathématiques et Applications, 2006.

N. Delanoue and S. Lagrange, A numerical approach to compute the topology of the Apparent Contour of a smooth mapping from <mml:math altimg="si17.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:msup><mml:mrow><mml:mi mathvariant="double-struck">R</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math> to <mml:math altimg="si18.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:msup><mml:mrow><mml:mi mathvariant="double-struck">R</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math>, Journal of Computational and Applied Mathematics, vol.271, pp.267-284, 2014.
DOI : 10.1016/j.cam.2014.03.032

M. Demazure, Bifurcations and catastrophes: geometry of solutions to nonlinear problems, 2000.
DOI : 10.1007/978-3-642-57134-3

E. Kahoui and M. , Topology of real algebraic space curves, Journal of Symbolic Computation, vol.43, issue.4, pp.235-258, 2008.
DOI : 10.1016/j.jsc.2007.10.008

M. Giusti, G. Lecerf, B. Salvy, and J. C. Yakoubsohn, On Location and Approximation of Clusters of Zeros: Case of Embedding Dimension One, Foundations of Computational Mathematics, vol.7, issue.1, pp.1-58, 2007.
DOI : 10.1007/s10208-004-0159-5
URL : https://hal.archives-ouvertes.fr/hal-00186739

J. D. Hauenstein, B. Mourrain, and A. Szanto, Certifying Isolated Singular Points and their Multiplicity Structure, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '15, 2015.
DOI : 10.1145/2755996.2756645
URL : https://hal.archives-ouvertes.fr/hal-01107541

J. Van-der-hoeven, Reliable homotopy continuation, Tech. rep., HAL, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00589948

R. Imbach, G. Moroz, and M. Pouget, Numeric certified algorithm for the topology of resultant and discriminant curves, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01093040

R. Kearfott and Z. Xing, An Interval Step Control for Continuation Methods, SIAM Journal on Numerical Analysis, vol.31, issue.3, pp.892-914, 1994.
DOI : 10.1137/0731048

S. G. Krantz and H. R. Parks, A primer of real analytic functions, Basler Lehrbücher, vol.4, 1992.

A. Leykin, J. Verschelde, and A. Zhao, Newton's method with deflation for isolated singularities of polynomial systems, Theoretical Computer Science, vol.359, issue.1-3, pp.111-122, 2006.
DOI : 10.1016/j.tcs.2006.02.018

A. Mantzaflaris and B. Mourrain, Deflation and certified isolation of singular zeros of polynomial systems, Proceedings of the 36th international symposium on Symbolic and algebraic computation, ISSAC '11, pp.249-256, 2011.
DOI : 10.1145/1993886.1993925
URL : https://hal.archives-ouvertes.fr/inria-00556021

B. Martin, A. Goldsztejn, L. Granvilliers, and C. Jermann, Certified Parallelotope Continuation for One-Manifolds, SIAM Journal on Numerical Analysis, vol.51, issue.6, pp.3373-3401, 2013.
DOI : 10.1137/130906544
URL : https://hal.archives-ouvertes.fr/hal-01408525

R. E. Moore, R. B. Kearfott, and M. J. Cloud, Introduction to Interval Analysis, Society for Industrial and Applied Mathematics, 2009.
DOI : 10.1137/1.9780898717716

A. Morgan, Solving Polynominal Systems Using Continuation for Engineering and Scientific Problems, Society for Industrial and Applied Mathematics, 2009.

B. Mourrain and J. Pavone, Subdivision methods for solving polynomial equations, S0747717108001168, ¡ce:title¿Polynomial System Solving in honor of Daniel Lazard¡, pp.292-306, 2009.
DOI : 10.1016/j.jsc.2008.04.016
URL : https://hal.archives-ouvertes.fr/inria-00070350

B. Mourrain, S. Pion, S. Schmitt, J. P. Técourt, E. P. Tsigaridas et al., Algebraic Issues in Computational Geometry, Effective Computational Geometry for Curves and Surfaces, pp.117-155, 2006.
DOI : 10.1007/978-3-540-33259-6_3

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

T. Ojika, S. Watanabe, and T. Mitsui, Deflation algorithm for the multiple roots of a system of nonlinear equations, Journal of Mathematical Analysis and Applications, vol.96, issue.2, pp.463-479, 1983.
DOI : 10.1016/0022-247X(83)90055-0

S. Plantinga and G. Vegter, Isotopic approximation of implicit curves and surfaces, Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing , SGP '04, pp.245-254, 2004.
DOI : 10.1145/1057432.1057465

F. Rouillier, Solving Zero-Dimensional Systems Through the Rational Univariate Representation, Applicable Algebra in Engineering, Communication and Computing, vol.9, issue.5, pp.433-461, 1999.
DOI : 10.1007/s002000050114
URL : https://hal.archives-ouvertes.fr/inria-00073264

V. Stahl, Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations, 1995.

H. Whitney, On Singularities of Mappings of Euclidean Spaces. I. Mappings of the Plane into the Plane, The Annals of Mathematics, vol.62, issue.3, pp.374-410, 1955.
DOI : 10.2307/1970070