An algorithm for sums of squares of real polynomials

AbstractWe present an algorithm to determine if a real polynomial is a sum of squares (of polynomials), and to find an explicit representation if it is a sum of squares. This algorithm uses the fact that a sum of squares representation of a real polynomial corresponds to a real, symmetric, positive semi-definite matrix whose entries satisfy certain linear equations