Home › Dev Tools › sostactic

sostactic

by mmaaz-git · github.com/mmaaz-git/sostactic

Proving polynomial inequalities with sum-of-squares certificates

Stars
★ 29
Forks
2
Language
Python
Category
Dev Tools
License
—
python

View on GitHub ↗

Featured in