https://pypi.org/project/triples/ Recent updates to the Python Package Index for triples en https://pypi.org/project/triples/0.1.0/ Automatic sum-of-squares proofs for algebraic inequalities 1378855363@qq.com Fri, 06 Feb 2026 03:01:49 GMT