Computing the homology of basic semialgebraic sets in weak exponential time, J. ACM, vol.66, issue.1, 2018. ,
Computing the Homology of Semialgebraic Sets. I: Lax Formulas, Foundations of Computational Mathematics, vol.20, issue.1, pp.71-118, 2019. ,
Condition, volume 349 of Grundlehren der mathematischen Wissenschaften, 2013. ,
Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Lecture Notes in Comput. Sci, vol.33, pp.134-183, 1975. ,
A numerical algorithm for zero counting. I: Complexity and accuracy, J. Complexity, vol.24, pp.582-605, 2008. ,
Computing the Homology of Real Projective Sets, Found. Comput. Math, vol.18, pp.929-970, 2018. ,
Probabilistic condition number estimates for real polynomial systems I: A broader family of distributions, Found. Comput. Math, vol.19, pp.131-157, 2019. ,
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. ,
Topological stability of smooth mappings, Lecture Notes in Mathematics, vol.552, 1976. ,
Algebraic topology, 2002. ,
Notes on topological stability, Bull. Amer. Math. Soc. (N.S.), vol.49, issue.4, pp.475-506, 2012. ,
Finding the homology of submanifolds with high confidence from random samples, Discrete Comput. Geom, vol.39, issue.1-3, pp.419-441, 2008. ,
Numerical instability of resultant methods for multidimensional rootfinding, SIAM J. Numer. Anal, vol.54, issue.2, pp.719-743, 2016. ,
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. ,
Complexity of Bézout's Theorem IV: probability of success; extensions, SIAM J. of Numer. Anal, vol.33, pp.128-148, 1996. ,
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. ,
Condition and Homology in Semialgebraic Geometry, 2019. ,
Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper, Komplexität von Entscheidungsproblemen, vol.43, pp.138-162, 1976. ,