Polar Varieties and Efficient Real Elimination

B. Bank, M. Giusti, J. Heintz +1

Let $S_0$ be a smooth and compact real variety given by a reduced regular sequence of polynomials $f_1,...,f_p$. This paper is devoted to the algorithmic problem of finding {\em…