dasarpmar / lowerbounds-survey
A survey of known lower bounds in arithmetic circuits.
☆27Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for lowerbounds-survey
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- All the math/tex files for the Automorphic Project☆18Updated 5 months ago
- Formalizing convex polyhedra in Coq☆22Updated 4 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆55Updated 7 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- CertiCrypt Coq Framework☆32Updated 8 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆37Updated 2 years ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- Formalization of the existence of sphere eversions☆36Updated last month
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆21Updated 8 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆32Updated this week
- Library for Polynomial System Solving through Algebraic Methods☆95Updated 3 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆56Updated last week
- A Probability Theory Library for the Coq Theorem Prover☆49Updated last year
- CoDi: Commutative Diagrams for TeX☆30Updated 6 months ago
- A digital archive of category theory papers.☆20Updated 8 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- Let's translate works of Grothendieck☆24Updated 5 years ago
- A Lean file formatter☆62Updated last year
- C++ library for semigroups and monoids☆45Updated this week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆48Updated 6 months ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- Algebra Number Theory book☆47Updated 2 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- SampCert : Verified Differential Privacy☆65Updated 2 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- ☆14Updated 11 months ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- My basic LaTeX macros and BibTeX file.☆13Updated last year
- My mathematical Zettelkasten, created using forester.☆77Updated 2 weeks ago