ForeverHaibara / Triple-SOSLinks
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.
☆27Updated 3 weeks ago
Alternatives and similar repositories for Triple-SOS
Users that are interested in Triple-SOS are comparing it to the libraries listed below
Sorting:
- Homepage of the Lean-zh website.☆41Updated 2 months ago
- ☆27Updated 2 months ago
- Auto math prover.☆11Updated last year
- ☆19Updated last month
- Lean4中文教程☆34Updated 6 months ago
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆58Updated 7 months ago
- 代数基本观念☆15Updated 5 months ago
- Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students☆46Updated 3 years ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆76Updated 2 months ago
- ☆11Updated last year
- 数学物理方程(谷超豪)习题参考解答☆28Updated last year
- ☆65Updated this week
- An inequality benchmark for theorem proving☆20Updated 3 months ago
- 基于Metropolis修改的北大风格Beamer主题☆26Updated 3 years ago
- 积分精选☆17Updated 2 years ago
- ☆190Updated last year
- ☆18Updated last month
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆17Updated 3 months ago
- notes on topos theory (Chinese)☆13Updated 8 months ago
- ☆50Updated last year
- A Beamer Theme for Tsinghua University (THU).☆89Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆38Updated 3 months ago
- ☆49Updated 6 months ago
- 高考试卷LaTeX模板☆72Updated 6 years ago
- Code to automatically prove or verify estimates in analysis☆303Updated last month
- 常微分方程(丁同仁、李承治著)习题解☆22Updated last year
- Catalog Of Math Problems Formalized In Lean☆192Updated this week
- ☆123Updated last year
- A static analysis tool for Lean 4.☆88Updated last month
- 史济怀复变函数LaTeX重排☆163Updated 4 months ago