PyRank

Sum Of Squares Python Packages

Python packages with the GitHub topic sum-of-squares. Sorted by relevance, with stars and monthly downloads.
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.

352 37 3
MichaelSchneeberger
sosopt

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

292 5 0