Sums of squares in Macaulay2
Diego Cifuentes, Thomas Kahle, Pablo A. Parrilo · Journal of Software for Algebra and Geometry · 2020
The Macaulay2 package SumsOfSquares decomposes polynomials as sums of squares. It is based on methods to rationalize sum-of-squares decompositions due to Parrilo and Peyrl. The package features a data type for sums-of-squares polynomials, support for external semidefinite programming solvers, and optimization over varieties.