sum-of-squares
Automatic sum-of-squares proofs for algebraic inequalities
SOSOpt is a Python library designed for solving sums-of-squares (SOS) optimization problems.