Let W be a closed algebraic subvariety of the n-dimensional projective space over the complex or real numbers and suppose that W is non--empty and equidimensional. In this paper we generalize the classic notion of polar ...

Let $V_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 efficiently for each connected component of $V_0$ ...

In previous work we designed an efficient procedure that finds an algebraic sample point for each connected component of a smooth real complete intersection variety. This procedure exploits geometric properties of generic ...

In this paper we apply for the first time a new method for multivariate equation solving which was developed in for complex root determination to the real case. Our main result concerns the problem of finding at least one ...