dasarpmar / lowerbounds-surveyLinks
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
Sorting:
- Algebra Number Theory book☆48Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Let's translate works of Grothendieck☆25Updated 5 years ago
- All the math/tex files for the Automorphic Project☆18Updated last year
- Tag-based webview of LaTeX documents☆29Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- C++ library for semigroups and monoids☆47Updated last week
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆71Updated 2 months ago
- A Lean file formatter☆67Updated 2 years ago
- Library for Polynomial System Solving through Algebraic Methods☆133Updated last week
- Python implementation of the monster group☆45Updated this week
- Formalizing convex polyhedra in Coq☆24Updated 10 months ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated last month
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated 3 weeks ago
- Listing of online math seminars☆43Updated 8 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- CertiCrypt Coq Framework☆35Updated 9 years ago
- A formal proof of the independence of the continuum hypothesis☆125Updated 9 months ago
- Lecture notes from Cambridge maths☆69Updated last year
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆23Updated last week
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆37Updated last year
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 5 months ago