On Exact Reznick, Hilbert-Artin and Putinar's Representations

Victor Magron, Mohab Safey El Din

We consider the problem of computing exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (S…