Computing the dimension of real algebraic sets

Piere Lairez, Mohab Safey El Din

Let $V$ be the set of real common solutions to $F=(f_1,\dots ,f_s)$ in $\mathbb{R}[x_1,\dots ,x_n]$ and $D$ be the maximum total degree of the $f_i$'s. We design an algorithm…