Martin-Seysen / mmgroup
Python implementation of the monster group
☆42Updated 3 weeks ago
Alternatives and similar repositories for mmgroup:
Users that are interested in mmgroup are comparing it to the libraries listed below
- Formalizing results about the Mandelbrot set in Lean☆20Updated 4 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated last month
- 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…☆96Updated this week
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago
- Formalization of the existence of sphere eversions☆39Updated 3 weeks ago
- CAP project -- Categories, Algorithms, and Programming☆25Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- some maths papers in English☆18Updated last month
- Schemes in Lean (v2)☆43Updated 4 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- All the math/tex files for the Automorphic Project☆18Updated 10 months ago
- Fungrim: the Mathematical Functions Grimoire☆121Updated 3 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- Deposited packages of the homalg project☆13Updated 3 months ago
- Very controlled natural language tactics for Lean☆62Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- ☆23Updated 2 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆78Updated this week
- ☆86Updated last year
- Implementation of higher-order logic in Python☆64Updated 2 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Exponent pair database☆42Updated this week
- Library for Polynomial System Solving through Algebraic Methods☆121Updated last week
- Perfectoid spaces in the Lean formal theorem prover.☆119Updated 8 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 6 months ago
- IMO Grand Challenge for Artificial Intelligence☆45Updated 3 years ago