dasarpmar / lowerbounds-surveyLinks
A survey of known lower bounds in arithmetic circuits.
☆31Updated 3 years ago
Alternatives and similar repositories for lowerbounds-survey
Users that are interested in lowerbounds-survey are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆352Updated 9 months ago
- Source code for the nLab☆178Updated 4 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 8 months ago
- 💧 Liquid Tensor Experiment☆204Updated last year
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆212Updated 2 weeks ago
- The formal proof of the Kepler conjecture☆156Updated last year
- A LaTeX Typesetting Game☆252Updated 3 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Lecture notes from Cambridge maths☆68Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- Elementary Number Theory: Primes, Congruences, and Secrets☆109Updated last year
- Let's translate works of Grothendieck☆26Updated 5 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 3 weeks ago
- A Lean file formatter☆68Updated 2 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆265Updated last week
- Public repository for Abstact Algebra Theory and Applications☆171Updated 3 weeks ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- A computer algebra system for research in combinatorial game theory☆44Updated last year
- Python implementation of the monster group☆48Updated last month
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆197Updated 2 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated last year
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆51Updated last month
- Theorem Proving in Lean 4☆195Updated 2 weeks ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated last year