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:
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- Prime numbers for Coq☆39Updated last week
- Let's translate works of Grothendieck☆25Updated 5 years ago
- A foundational framework for modular cryptographic proofs in Coq☆65Updated last week
- All the math/tex files for the Automorphic Project☆19Updated last year
- A Lean file formatter☆68Updated 2 years ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- Formalizing convex polyhedra in Coq☆24Updated 11 months ago
- A formal proof of the independence of the continuum hypothesis☆127Updated 10 months ago
- Python implementation of the monster group☆48Updated 3 weeks ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- Generate HTML documentation for mathlib and Lean☆21Updated 9 months ago
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆38Updated last year
- 💧 Liquid Tensor Experiment☆201Updated last year
- SampCert : Verified Differential Privacy☆75Updated last month
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- A computer algebra system for research in combinatorial game theory☆43Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆124Updated 11 months ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆51Updated 3 weeks ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- The formal proof of the Odd Order Theorem☆31Updated last week
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- The Lean reference manual☆68Updated this week
- Emacs mode for Lean☆69Updated 2 years ago
- CertiCrypt Coq Framework☆35Updated 9 years ago