Real algebraic geometry studies sets defined by a finite system of real polynomial equalities and inequalities. A central topic in this area is the study of the cone of nonnegative polynomials. Verifying that a given polynomial is nonnegative is an NP-hard problem. However, it turns out to be algorithmically much more feasible to verify if a given polynomial admits a representation into a sum of ...