Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients

Victor Magron, Mohab Safey El Din, Trung-Hieu Vu

Assessing non-negativity of multivariate polynomials over the reals, through the computation of {\em certificates of non-negativity}, is a topical issue in polynomial optimization.…