Sums of squares in Macaulay2
arXiv:1812.05475 · doi:10.2140/jsag.2020.10.17
Abstract
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.
8 pages, source code is included in Macaulay2 distribution, final version accepted for publication in Journal of Software for Algebra and Geometry