Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials

Victor Magron, Mohab Safey El Din, Markus Schweighofer

It is well-known that every non-negative univariate real polynomial can be written as the sum of two polynomial squares with real coefficients. When one allows a weighted sum of fi…