PyRank

Sum Of Squares Python Packages

Python packages with the GitHub topic sum-of-squares. Sorted by monthly downloads, with stars and forks.
MichaelSchneeberger
sosopt

SOSOpt is a Python library designed for solving sums-of-squares (SOS) optimization problems.

296 7 0
ForeverHaibara
triples

Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares proofs for Olympiad-level problems. Built on SymPy.

108 38 3