rschwiebert / RingAppLinks
A database app for ring theory
☆22Updated last week
Alternatives and similar repositories for RingApp
Users that are interested in RingApp are comparing it to the libraries listed below
Sorting:
- All the math/tex files for the Automorphic Project☆19Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 6 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- A computer algebra system for research in combinatorial game theory☆53Updated last year
- The matrix cookbook, proved in the Lean theorem prover☆123Updated 2 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…☆122Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆198Updated last week
- ☆26Updated last month
- ☆11Updated last year
- A formalized proof of Carleson's theorem in Lean☆79Updated 2 weeks ago
- A community database for the problems on the erdosproblems.com site☆117Updated last week
- ☆93Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated 2 years ago
- 💧 Liquid Tensor Experiment☆212Updated last year
- Our first-year mathematics graduate school notes☆10Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆27Updated last week
- SorryDB indexes sorries in public lean repositories☆40Updated this week
- Interactive neural theorem proving in Lean☆131Updated 3 years ago
- The standard template to create a lean game☆33Updated last month
- ☆11Updated this week
- A community database of topological counterexamples☆132Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆63Updated this week
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated last month
- GeoGebra Discovery☆27Updated 5 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago
- Formalizing "Proofs from THE BOOK"☆70Updated last week
- blueprint for prime number theorem and more☆211Updated last week
- ☆16Updated 2 years ago
- Python implementation of the monster group☆55Updated last week