Derivative-free curvature estimation via the K-R defect operator. Python library for the paper published in Boundary Value Problems, Springer Nature 2026. Author: RamaKrishna Pasupuleti
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.
