Sums of squares in Macaulay2

13 Dec 2018 · Diego Cifuentes, Thomas Kahle, Pablo A. Parrilo ·

The package SOS implements sums-of-squares (SOS) decompositions in Macaulay2. It is based on methods to rationalize SOS decompositions due to Parrilo and Peyrl. The package features a data type for SOS decompositions, support for external SDP solvers, and optimization over varieties.