P. Bürgisser, F. Cucker, and P. Lairez, Computing the homology of basic semialgebraic sets in weak exponential time, J. ACM, vol.66, issue.1, 2018.

P. Bürgisser, F. Cucker, and J. Tonelli-cueto, Computing the Homology of Semialgebraic Sets. I: Lax Formulas, Foundations of Computational Mathematics, vol.20, issue.1, pp.71-118, 2019.

P. Bürgisser and F. Cucker, Condition, volume 349 of Grundlehren der mathematischen Wissenschaften, 2013.

G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Lecture Notes in Comput. Sci, vol.33, pp.134-183, 1975.

F. Cucker, T. Krick, G. Malajovich, and M. Wschebor, A numerical algorithm for zero counting. I: Complexity and accuracy, J. Complexity, vol.24, pp.582-605, 2008.

F. Cucker, T. Krick, and M. Shub, Computing the Homology of Real Projective Sets, Found. Comput. Math, vol.18, pp.929-970, 2018.

A. Ergür, G. Paouris, and J. M. Rojas, Probabilistic condition number estimates for real polynomial systems I: A broader family of distributions, Found. Comput. Math, vol.19, pp.131-157, 2019.

A. Gabrielov and N. Vorobjov, Approximation of definable sets by compact families, and upper bounds on homotopy and homology, J. Lond. Math. Soc, vol.80, issue.2, pp.35-54, 2009.

C. G. Gibson, K. Wirthmüller, A. A. Du-plessis, and E. J. Looijenga, Topological stability of smooth mappings, Lecture Notes in Mathematics, vol.552, 1976.

A. Hatcher, Algebraic topology, 2002.

J. Mather, Notes on topological stability, Bull. Amer. Math. Soc. (N.S.), vol.49, issue.4, pp.475-506, 2012.

P. Niyogi, S. Smale, and S. Weinberger, Finding the homology of submanifolds with high confidence from random samples, Discrete Comput. Geom, vol.39, issue.1-3, pp.419-441, 2008.

V. Noferini and A. Townsend, Numerical instability of resultant methods for multidimensional rootfinding, SIAM J. Numer. Anal, vol.54, issue.2, pp.719-743, 2016.

J. T. Schwartz and M. Sharir, On the "piano movers" problem. II. General techniques for computing topological properties of real algebraic manifolds, Adv. in Appl. Math, vol.4, issue.3, pp.298-351, 1983.

M. Shub and S. Smale, Complexity of Bézout's Theorem IV: probability of success; extensions, SIAM J. of Numer. Anal, vol.33, pp.128-148, 1996.

S. Smale, Newton's method estimates from data at one point, The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics, pp.185-196, 1986.

J. Tonelli-cueto, Condition and Homology in Semialgebraic Geometry, 2019.

H. R. Wüthrich, Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper, Komplexität von Entscheidungsproblemen, vol.43, pp.138-162, 1976.