Four algorithms for finding exact Sum Of Squares decompositions of univariate polynomials are proposed. The first algorithm allows to compute rational SOS decompositions, whereas the second and the third allow to compute SOS decompositions in appropriate finite algebraic extensions of the field of rational numbers. A fourth algorithm allows, when possible, to find an SOS decomposition having just two terms, in the same ring in which the given polynomial is defined.
Menini, L., Tornambe', A. (2015). Exact sum of squares decomposition of univariate polynomials. In IEEE 54th Annual Conference on Decision and Control (CDC), 2015 (pp.1072-1077). IEEE [10.1109/CDC.2015.7402354].
Exact sum of squares decomposition of univariate polynomials
MENINI, LAURA;TORNAMBE', ANTONIO
2015-01-01
Abstract
Four algorithms for finding exact Sum Of Squares decompositions of univariate polynomials are proposed. The first algorithm allows to compute rational SOS decompositions, whereas the second and the third allow to compute SOS decompositions in appropriate finite algebraic extensions of the field of rational numbers. A fourth algorithm allows, when possible, to find an SOS decomposition having just two terms, in the same ring in which the given polynomial is defined.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
