Cool Link
GitHub - mmaaz-git/sostactic: Proving polynomial inequalities with sum-of-squares certificates · GitHub
—
github.com
Discuss
Original
Share
Sign In
👤
github.com/mmaaz-git/sostactic