Macaulay2 / M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
☆347Updated this week
Related projects ⓘ
Alternatives and complementary repositories for M2
- 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…☆87Updated this week
- sources for the Singular computer algebra system☆262Updated this week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Source code for the nLab☆149Updated 2 months ago
- Scientific computing in Lean 4☆327Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- 💧 Liquid Tensor Experiment☆181Updated 9 months ago
- LaTeX version of Grothendieck's Pursuing Stacks☆46Updated 3 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆186Updated 5 months ago
- L-Functions and Modular Forms Database☆251Updated this week
- A Lean file formatter☆63Updated last year
- A Julia package for solving systems of polynomials via homotopy continuation.☆186Updated this week
- Library for Polynomial System Solving through Algebraic Methods☆95Updated 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…☆119Updated 8 months ago
- Python bindings for Flint and Arb☆133Updated 2 weeks ago
- ☆29Updated last month
- FLINT (Fast Library for Number Theory)☆445Updated last week
- Official repository of the FriCAS computer algebra system☆311Updated last week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆813Updated this week
- plasTeX plugin to build formalization blueprints.☆168Updated 3 weeks ago
- The main source code for Regina☆33Updated this week
- Metamath source file for logic and set theory☆255Updated this week
- A formal proof of the independence of the continuum hypothesis☆117Updated 2 months ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆397Updated last week
- The Lean version manager☆318Updated this week
- A field-theory motivated approach to computer algebra.☆230Updated this week
- A community database of topological counterexamples☆72Updated this week
- The agda-unimath library☆222Updated this week