Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry

Mohab Safey El Din, Philippe Trebuchet

Let f1, ..., fs be a polynomial family in Q[X1,..., Xn] (with s less than n) of degree bounded by D. Suppose that f1, ..., fs generates a radical ideal, and defines a smooth algebr…