Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set

Aurélien Greuet, Mohab Safey El Din

Let $f, f_1, \ldots, f_\nV$ be polynomials with rational coefficients in the indeterminates $\bfX=X_1, \ldots, X_n$ of maximum degree $D$ and $V$ be the set of common complex solut…