univsos

swMATH28193MaRDI QIDQ39907FDOQ39907

Author name not available (Why is that?)

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