Martin-Seysen / mmgroupLinks
Python implementation of the monster group
☆45Updated this week
Alternatives and similar repositories for mmgroup
Users that are interested in mmgroup are comparing it to the libraries listed below
Sorting:
- Formalizing results about the Mandelbrot set in Lean☆21Updated 6 months ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated 3 weeks ago
- All the math/tex files for the Automorphic Project☆18Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated this week
- A project to digitalise results from physics into Lean.☆252Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- Formalized quantum computing in Lean theorem prover☆25Updated 4 years ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆101Updated last week
- Formalization of the existence of sphere eversions☆42Updated this week
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- A software package for analyzing Calabi-Yau manifolds.☆34Updated last week
- Exponent pair database☆53Updated last week
- Tag-based webview of LaTeX documents☆29Updated last year
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆38Updated last week
- Schemes in Lean (v2)☆43Updated 4 years ago
- some maths papers in English☆18Updated 2 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- A formalized proof of Carleson's theorem in Lean☆55Updated this week
- ☆36Updated 2 weeks ago
- ☆87Updated last year
- 💧 Liquid Tensor Experiment☆196Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆163Updated 5 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- A Lean file formatter☆67Updated 2 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆122Updated 10 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- An interactive theorem prover for string diagrams☆115Updated 7 months ago
- Formalizing "Proofs from THE BOOK"☆61Updated 5 months ago
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago