univsos

swMATH28193MaRDI QIDQ39907FDOQ39907

Author name not available (Why is that?)

Source code repository: https://github.com/magronv/univsos

Described by source

• Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials

Cited In (1)

• R <scp>eal</scp> c <scp>ertify</scp>

This page was built for software: univsos