Bounding the radii of balls meeting every connected component of semi-algebraic sets

Basu, 2009, vol. 10 Binyamini, G., Novikov, D., Yakovenko, S., On the number of zeros of Abelian integrals: A constructive solution of the infinitesimal Hilbert sixteenth problem, 2008, Preprint at arXiv:0808.2952. Binyamini, G., Yakovenko, S., Polynomial bounds for oscillation of solutions of Fuchsian systems, 2008, Preprint at arXiv:0808.2950. Grigoriev, 1988, Solving systems of polynomial inequalities in subexponential time, J. Symbolic Comput., 5, 37, 10.1016/S0747-7171(88)80005-1 Hansen, 2009, Winning concurrent reachability games requires doubly-exponential patience, 332 Jeronimo, 2010, On the minimum of a positive polynomial over the standard simplex, J. Symbolic Comput., 45, 434, 10.1016/j.jsc.2010.01.001 Renegar, 1992, On the computational complexity and geometry of the first-order theory of the reals. I–III, J. Symbolic Comput., 13, 255, 10.1016/S0747-7171(10)80003-3