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.
☆25Updated this week
Alternatives and similar repositories for Triple-SOS
Users that are interested in Triple-SOS are comparing it to the libraries listed below
Sorting:
- 代数基本观念☆15Updated 5 months ago
- ☆27Updated 2 months ago
- notes on topos theory (Chinese)☆13Updated 8 months ago
- ☆189Updated last year
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆56Updated 7 months ago
- Homepage of the Lean-zh website.☆39Updated 2 months ago
- Lean4中文教程☆34Updated 6 months ago
- Everything about AI4Math (AI for Mathematics).☆17Updated last year
- AI for Mathematics (AI4Math) paper list☆173Updated 10 months ago
- ☆17Updated 2 weeks ago
- A Beamer Theme for Tsinghua University (THU).☆89Updated last year
- Auto math prover.☆11Updated last year
- Isabelle REPL☆2Updated this week
- Introduction to Modular Forms: A Chinese textbook about modular forms☆76Updated 2 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆197Updated 2 months ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆453Updated last month
- ntype cafe summer school resources☆141Updated last year
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页:https://space.bilibili.com/2057313067☆101Updated last year
- A Lean companion to Analysis I☆1,062Updated last week
- An inequality benchmark for theorem proving☆18Updated 2 months ago
- Download all GTMs by the scripts☆66Updated 6 years ago
- Lean 定理证明☆16Updated last month
- ☆50Updated last year
- ☆123Updated last year
- LaTeX document class for writing pretty notes☆98Updated 2 years ago
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆22Updated this week
- 积分精选☆17Updated 2 years ago
- ☆9Updated last year
- Methods in Algebra (Volume 2): A Chinese textbook on Algebra☆23Updated last month
- ☆15Updated 9 months ago