Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares

Victor Magron, Przemysław Koprowski, Tristan Vaccon

Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for co…