inequalities
IntvalPy - a Python interval computation library (interval arithmetic)
Automatic sum-of-squares proofs for algebraic inequalities