GitHub repository: ForeverHaibara/Triple-SOS
Primary language: Python
Created: 2022-02-07T16:52:07Z
Description: 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.