rschwiebert / RingAppLinks
A database app for ring theory
☆22Updated 2 months ago
Alternatives and similar repositories for RingApp
Users that are interested in RingApp are comparing it to the libraries listed below
Sorting:
- ☆23Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- A computer algebra system for research in combinatorial game theory☆45Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- 💧 Liquid Tensor Experiment☆205Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated this week
- The matrix cookbook, proved in the Lean theorem prover☆116Updated 3 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆183Updated this week
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 2 years ago
- Let's translate works of Grothendieck☆27Updated 6 years ago
- ☆50Updated 3 years ago
- Listing of online math seminars☆43Updated 11 months ago
- SorryDB indexes sorries in public lean repositories☆28Updated 2 weeks ago
- blueprint for prime number theorem and more☆181Updated last week
- ☆11Updated last year
- Python implementation of the monster group☆51Updated last month
- ☆11Updated last year
- Source code for the nLab☆181Updated 5 months ago
- plasTeX plugin to build formalization blueprints.☆232Updated 2 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- ☆15Updated last year
- ☆10Updated this week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated 3 weeks ago
- Repository for the QED interactive text and possible extensions☆104Updated 7 months ago
- Formalizing results about the Mandelbrot set in Lean☆23Updated last week
- The standard template to create a lean game☆27Updated last week
- The TeX for Adams' blue book, by the group TeXromancers☆11Updated last year