L. Alberti, G. Comte, and B. Mourrain, Meshing implicit algebraic surfaces: the smooth case, Mathematical Methods for Curves and Surfaces: Tromso'04, pp.11-26, 2005.

J. , G. Alcázar, and J. R. Sendra, Computing the topology of real algebraic space curves, J. Symbolic Comput, vol.39, pp.719-744, 2005.

J. Bloomenthal, Polygonization of implicit surfaces, Computer Aided Geometric Design, vol.5, issue.4, pp.341-355, 1988.
DOI : 10.1016/0167-8396(88)90013-1

J. Bloomenthal, An Implicit Surface Polygonizer, Graphics Gems IV, pp.324-349, 1994.
DOI : 10.1016/B978-0-12-336156-1.50040-9

J. Bloomenthal, Introduction to implicit surfaces, 1997.

J. Boissonnat and O. S. , Provably good sampling and meshing of surfaces, Graphical Models, vol.67, issue.5, pp.405-451, 2005.
DOI : 10.1016/j.gmod.2005.01.004
URL : https://hal.archives-ouvertes.fr/hal-00488829

J. Cheng, X. Gao, and M. Li, Determining the Topology of Real Algebraic Surfaces, Mathematics of Surfaces, number 3604 in LNCS, pp.121-146, 2005.
DOI : 10.1007/11537908_8

G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decompostion, Proc. 2nd GI Conference on Automata Theory and Formal Languages, pp.134-183, 1975.
DOI : 10.1007/3-540-07407-4_17

D. Cox, J. Little, and D. Shea, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduate Texts in Mathematics, 1992.

T. K. Dey, Curve and Surface Reconstruction: Algorithms with Mathematical Analysis (Cambridge Monographs on Applied and Computational Mathematics), 2006.

A. Dickenstein, M. J. Rojas, K. Rusekz, and J. Shihx, Extremal real algebraic geometry and a-discriminants, 2007.

A. Eigenwillig, V. Sharma, and C. K. Yap, Almost tight recursion tree bounds for the Descartes method, Proceedings of the 2006 international symposium on Symbolic and algebraic computation , ISSAC '06, pp.71-78, 2006.
DOI : 10.1145/1145768.1145786
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.7463

D. Eisenbud, C. Huneke, and W. Vasconcelos, Direct methods for primary decomposition, Inventiones Mathematicae, vol.106, issue.1, pp.207-235, 1992.
DOI : 10.1007/BF01231331
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.8262

G. Elber and M. Kim, Geometric constraint solver using multivariate rational spline functions, Proceedings of the sixth ACM symposium on Solid modeling and applications , SMA '01, pp.1-10, 2001.
DOI : 10.1145/376957.376958

I. Z. Emiris, B. Mourrain, and E. P. Tsigaridas, Real algebraic numbers: Complexity analysis and experimentations. In Reliable Implementation of Real Number Algorithms: Theory and Practice, LNCS, 2007.
DOI : 10.1007/978-3-540-85521-7_4
URL : https://hal.archives-ouvertes.fr/inria-00071370

G. Farin, Curves and surfaces for computer aided geometric design : a practical guide. Comp. science and sci. computing, 1990.

G. Farin, An ssi bibliography, Geometry Processing for Design and Manufacturing, pp.205-207, 1992.
DOI : 10.1137/1.9781611971668.ch10

M. S. Floater, On zero curves of bivariate polynomials, Advances in Computational Mathematics, vol.2, issue.1, pp.399-415, 1996.
DOI : 10.1007/BF02124753

E. Fortuna, P. Gianni, P. Parenti, and C. Traverso, Computing the topology of real algebraic surfaces, Proceedings of the 2002 international symposium on Symbolic and algebraic computation , ISSAC '02, pp.92-100, 2002.
DOI : 10.1145/780506.780518

G. Gatellier, A. Labrouzy, B. Mourrain, and J. Técourt, Computing the topology of 3-dimensional algebraic curves, Computational Methods for Algebraic Spline Surfaces, pp.27-44, 2005.

L. González-vega and I. Necula, Efficient topology determination of implicitly defined algebraic plane curves, Computer Aided Geometric Design, vol.19, issue.9, pp.719-743, 2002.
DOI : 10.1016/S0167-8396(02)00167-X

T. A. Grandine and F. W. Klein, A new approach to the surface intersection problem, Computer Aided Geometric Design, vol.14, issue.2, pp.111-134, 1997.
DOI : 10.1016/S0167-8396(96)00024-6

E. Hartmann, A marching method for the triangulation of surfaces, The Visual Computer, vol.14, issue.3, pp.95-108, 1998.
DOI : 10.1007/s003710050126

J. Hass, R. T. Farouki, C. Y. Han, X. Song, and T. W. Sederberg, Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme, Advances in Computational Mathematics, 2007.
DOI : 10.1007/s10444-005-7539-5

D. Kalra and A. H. Barr, Guaranteed ray intersections with implicit surfaces, Proc. of SIGGRAPH, pp.297-306, 1989.
DOI : 10.1145/74333.74364
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.4259

J. Keyser, T. Culver, D. Manocha, and S. Krishnan, Efficient and exact manipulation of algebraic points and curves, Computer-Aided Design, vol.32, issue.11, pp.649-662, 2000.
DOI : 10.1016/S0010-4485(00)00054-3

C. Liang, B. Mourrain, and J. P. Pavone, Subdivision Methods for the Topology of 2d and 3d Implicit Curves, Computational Methods for Algebraic Spline Surfaces, pp.171-186, 2007.
DOI : 10.1007/978-3-540-72185-7_11
URL : https://hal.archives-ouvertes.fr/inria-00130216

N. G. Lloyd, Degree theory, Cambridge Tracts in Mathematics, issue.73, 1978.

W. Lorensen and H. Cline, Marching cubes: A high resolution 3D surface construction algorithm, ACM SIGGRAPH Computer Graphics, vol.21, issue.4, pp.163-170, 1987.
DOI : 10.1145/37402.37422

J. Mather, Notes on Topological Stability, Bulletin of the American Mathematical Society, vol.49, issue.4, 1970.
DOI : 10.1090/S0273-0979-2012-01383-6

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

B. Mourrain and J. P. Técourt, Isotopic meshing of a real algebraic surface, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070499

J. P. Pavone, Auto-intersection de surfaces pamatrées réelles, 2004.

T. Sederberg, Algorithm for algebraic curve intersection, Computer-Aided Design, vol.21, issue.9, pp.547-554, 1989.
DOI : 10.1016/0010-4485(89)90015-8

J. Seong, G. Elber, and M. Kim, Contouring 1-and 2-Manifolds in Arbitrary Dimensions, SMI'05, pp.218-227, 2005.

E. C. Sherbrooke and N. M. Patrikalakis, Computation of the solutions of nonlinear polynomial systems, Computer Aided Geometric Design, vol.10, issue.5, pp.379-405, 1993.
DOI : 10.1016/0167-8396(93)90019-Y

R. Thom, Ensembles et morphismes stratifi??s, Bulletin of the American Mathematical Society, vol.75, issue.2, 1969.
DOI : 10.1090/S0002-9904-1969-12138-5

R. J. Walker, Algebraic curves, 1978.

H. Whitney, Elementary structure of real algebraic varieties, Annals of Math, vol.66, issue.2, 1957.

A. Witkin and P. Heckbert, Using particles to sample and control implicit surface, Proc. of SIGGRAPH, pp.269-277, 1994.

Y. Zhou, C. Baoquan, and A. Kaufman, Multiresolution tetrahedral framework for visualizing regular volume data, Proc. of Visualization '97, pp.135-142, 1997.