A. Alzati, E. Ballico, and G. Ottaviani, The theorem of Mather on generic projections for singular varieties, Geometriae Dedicata, vol.85, issue.1/3, pp.113-117, 2001.
DOI : 10.1023/A:1010383721612

A. Alzati and G. Ottaviani, The theorem of Mather on generic projections in the setting of algebraic geometry, Manuscripta Mathematica, vol.98, issue.1, pp.391-412, 1992.
DOI : 10.1007/BF02567678

B. Bank, M. Giusti, J. Heintz, and G. Mbakop, Polar Varieties, Real Equation Solving, and Data Structures: The Hypersurface Case, Journal of Complexity, vol.13, issue.1, pp.5-27, 1997.
DOI : 10.1006/jcom.1997.0432

B. Bank, M. Giusti, J. Heintz, and G. Mbakop, Polar varieties and efficient real elimination, Mathematische Zeitschrift, vol.238, issue.1, pp.115-144, 2001.
DOI : 10.1007/PL00004896
URL : http://arxiv.org/abs/math/0005041

S. Basu, R. Pollack, and M. Roy, Computing roadmaps of semi-algebraic sets (extended abstract), Proceedings of the twenty-eighth annual ACM symposium on Theory of computing , STOC '96, pp.168-173, 1996.
DOI : 10.1145/237814.237857

S. Basu, R. Pollack, and M. Roy, Computing roadmaps of semi-algebraic sets on a variety, Journal of the AMS, vol.3, issue.1, pp.55-82, 1999.

S. Basu, R. Pollack, and M. Roy, Algorithms in real algebraic geometry, Algorithms and Computation in Mathematics, vol.10, 2006.
DOI : 10.1007/978-3-662-05355-3
URL : https://hal.archives-ouvertes.fr/hal-01083587

J. M. Boardman, Singularties of differentiable maps, Publications math??matiques de l'IH??S, vol.6, issue.1, pp.21-57, 1967.
DOI : 10.1007/BF02684585

J. Canny, The complexity of robot motion planning, 1987.

J. Canny, Computing Roadmaps of General Semi-Algebraic Sets, The Computer Journal, vol.36, issue.5, pp.504-514, 1993.
DOI : 10.1093/comjnl/36.5.504

J. , D. Dora, C. Discrescenzo, and D. Duval, About a new method method for computing in algebraic number fields, In EUROCAL LNCS, vol.85, issue.204, 1985.

D. Eisenbud, Commutative algebra with a view toward algebraic geometry, Graduate Texts in Mathematics, vol.150, 1995.

N. Fitchas, M. Giusti, and F. Smietanski, Sur la complexité du théorème des zéros, Approximation and Optimization in the Caribbean II of Approximation and Optimization, pp.247-329, 1995.

M. Giusti and J. Heintz, La détermination des points isolés et de la dimension d'une variété algébrique peut se faire en temps polynomial, Computational Algebraic Geometry and Commutative Algebra, volume XXXIV of Symposia Matematica, pp.216-256, 1993.

L. Gournay and J. Risler, Construction of roadmaps in semi-algebraic sets, Applicable Algebra in Engineering, Communication and Computing, vol.192, issue.4, pp.239-252, 1993.
DOI : 10.1007/BF01200148

J. Heintz, Definability and fast quantifier elimination in algebraically closed fields, Theoretical Computer Science, vol.24, issue.3, pp.239-277, 1983.
DOI : 10.1016/0304-3975(83)90002-6

J. Heintz, M. Roy, and P. Solerno, Single exponential path finding in semi-algebraic sets II: The general case. In Algebraic geometry and its applications , collections of papers from Abhyankar's 60-th birthday conference, 1994.

J. Heintz and C. P. Schnorr, Testing polynomials which are easy to compute (Extended Abstract), Proceedings of the twelfth annual ACM symposium on Theory of computing , STOC '80, pp.262-272, 1980.
DOI : 10.1145/800141.804674

G. Lecerf, Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions, Proceedings of the 2000 international symposium on Symbolic and algebraic computation symbolic and algebraic computation , ISSAC '00, pp.209-216, 2000.
DOI : 10.1145/345542.345633
URL : https://hal.archives-ouvertes.fr/hal-00186755

J. N. Mather, Generic Projections, The Annals of Mathematics, vol.98, issue.2, pp.226-245, 1973.
DOI : 10.2307/1970783

D. Mumford, Algebraic Geometry I, Complex projective varieties, Classics in Mathematics, 1976.
DOI : 10.1007/978-3-642-61833-8

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.

M. Safey-el-din-andéand´andé and . Schost, Polar varieties and computation of one point in each connected component of a smooth real algebraic set, Proceedings of the 2003 international symposium on Symbolic and algebraic computation , ISSAC '03, pp.224-231, 2003.
DOI : 10.1145/860854.860901

´. E. Schost, Computing Parametric Geometric Resolutions, Applicable Algebra in Engineering, Communication and Computing, vol.13, issue.5, pp.349-393, 2003.
DOI : 10.1007/s00200-002-0109-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.8818

J. Schwarz and M. Sharir, On the piano mover's problem II: General techniques for computing topological properties of real algebraic manifolds

I. Shafarevich, Basic Algebraic Geometry 1, 1977.
DOI : 10.1007/978-3-642-57908-0

R. Thom, Les singularit??s des applications diff??rentiables, Annales de l???institut Fourier, vol.6, pp.43-87
DOI : 10.5802/aif.60

J. A. Todd, The Arithmetical Invariants of Algebraic Loci, Proc. Lond, pp.190-225, 1937.
DOI : 10.1112/plms/s2-43.3.190

O. Zariski and P. Samuel, Commutative algebra, 1958.
DOI : 10.1007/978-3-662-29244-0

. Centre-de-recherche-inria-rennes-?-bretagne-atlantique, IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex Centre de recherche INRIA Grenoble ? Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier Centre de recherche INRIA Sophia Antipolis ? Méditerranée : 2004, route des Lucioles -BP 93 -06902, 105 -78153 Le Chesnay Cedex (France) ØØÔÔ»»ÛÛÛººÒÖÖÖººÖ