univsos

swMATH28193MaRDI QIDQ39907

No author found.

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

Described by source

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

Related Items (1)

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

This page was built for software: univsos