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.
☆24Updated 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 2 months ago
- Lean4中文教程☆34Updated 4 months ago
- Everything about AI4Math (AI for Mathematics).☆17Updated last year
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆51Updated 4 months ago
- ☆24Updated this week
- notes on topos theory (Chinese)☆10Updated 6 months ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆186Updated last week
- Auto math prover.☆10Updated 10 months ago
- Homepage of the Lean-zh website.☆32Updated last week
- ☆14Updated 7 months ago
- An inequality benchmark for theorem proving☆11Updated 2 weeks ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆73Updated this week
- Lean 定理证明☆15Updated 3 weeks ago
- ☆177Updated last year
- 单纯群精华信息汇总☆15Updated 5 months ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆16Updated 3 years ago
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- 不定积分过程生成器(By Mathematica)☆45Updated last year
- C++-Animation-(Standard-Template-Library)-Engine,or CASTLE for short,is a C++ plotting and animation engine created by BiliBili uploader …☆11Updated 4 years ago
- ☆48Updated last year
- AI for Mathematics (AI4Math) paper list☆163Updated 8 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆124Updated this week
- Project Asteria: A Naïve Introductory to Advanced Mathematics and Theoretical Physics for Gaokao Students☆43Updated 3 years ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆30Updated last year
- LeanInteract: A Python Interface for Lean 4☆30Updated 2 weeks ago
- LaTeX document class for writing pretty notes☆86Updated 2 years ago
- ntype cafe summer school resources☆139Updated 11 months ago
- ☆18Updated last month
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页:https://space.bilibili.com/2057313067☆96Updated last year
- ☆9Updated last year