Macaulay2 / M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
☆362Updated this week
Alternatives and similar repositories for M2:
Users that are interested in M2 are comparing it to the libraries listed below
- sources for the Singular computer algebra system☆274Updated last week
- amateur translation project of Grothendieck's EGA.☆344Updated 6 months ago
- Source code for the nLab☆172Updated 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 2 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 6 months ago
- Scientific computing in Lean 4☆388Updated last week
- ☆31Updated 3 weeks ago
- L-Functions and Modular Forms Database☆264Updated 2 weeks ago
- LaTeX version of Grothendieck's Pursuing Stacks☆48Updated 3 years ago
- 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
- 💧 Liquid Tensor Experiment☆190Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Mathematical Components☆614Updated this week
- plasTeX plugin to build formalization blueprints.☆201Updated last week
- A field-theory motivated approach to computer algebra.☆240Updated last week
- Mathematical Components compliant Analysis Library☆217Updated this week
- Repository for the Stacks Project☆899Updated 7 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- Listing of online math seminars☆43Updated 7 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 9 months ago
- A project to digitalise results from physics into Lean.☆197Updated this week
- The extensible drawing editor Ipe☆199Updated last year
- Rubi for Mathematica☆245Updated last year
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆857Updated last week
- An introduction to theorem proving in Lean for the impatient.☆168Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆239Updated 4 months ago
- Official repository of the FriCAS computer algebra system☆330Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Source code for lecture notes☆146Updated 8 months ago
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago