dasarpmar / lowerbounds-survey
A survey of known lower bounds in arithmetic circuits.
☆30Updated 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
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- ☆31Updated 2 weeks ago
- Algebra Number Theory book☆48Updated 3 years ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Lecture notes from Cambridge maths☆66Updated last year
- Tag-based webview of LaTeX documents☆28Updated last year
- Listing of online math seminars☆43Updated 7 months ago
- Source code for the nLab☆172Updated last month
- IMO Grand Challenge for Artificial Intelligence☆45Updated 3 years ago
- Prime numbers for Coq☆37Updated 3 months ago
- Emacs mode for Lean☆70Updated last year
- Python implementation of the monster group☆42Updated this week
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 11 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆59Updated last year
- A foundational framework for modular cryptographic proofs in Coq☆64Updated this week
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- CryptoBib BibTex files☆56Updated last week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆69Updated last week
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- Theory of Computing Report☆12Updated 6 months ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Public repository for Abstact Algebra Theory and Applications☆168Updated 8 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 2 months ago
- CertiCrypt Coq Framework☆35Updated 9 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆192Updated 2 months ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 7 months ago
- Formalizing convex polyhedra in Coq☆23Updated 9 months ago