A real polynomial in n variables is called nonnegative if it is greater than or equal to 0 at all points in R. It is a central question in real algebraic geometry whether a nonnegative polynomial can be written in a way that makes its nonnegativity apparent, i.e. as a sum of squares of polynomials (or more general objects). Algorithms to obtain such representations, when they are known, have ma...