univsos: A tool for Rational Sums of Squares Decompositions of Univariate Nonnegative Polynomials. univsos is a Maple library for computation of sums of squares (SOS) decompositions of univariate nonnegative polynomials with rational coefficients. The library includes two distinct algorithms: univsos1, which relies on root isolation, quadratic under approximations of positive polynomials and square-free decomposition. univsos2, which relies on root isolation of perturbed positive polynomials and square-free decomposition. This algorithm requires PARI/GP. univsos3, which relies on sums of squares approximation (via semidefinite programming) of perturbed positive polynomials and square-free decomposition. This algorithm requires SDPA and SDPA-GMP.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element