univsos

MaRDI QIDQ39907swMATHFDO

Official website https://homepages.laas.fr/vmagron/soft.html

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

(4)

• RAGlib
• multivsos
• RealCertify
• {\textsc{RealCertify}}: a Maple package for certifying non-negativity

This page was built for software: univsos