Macaulay2 / M2Links
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
☆390Updated 2 weeks ago
Alternatives and similar repositories for M2
Users that are interested in M2 are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆359Updated 11 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 3 months 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…☆109Updated 3 weeks ago
- sources for the Singular computer algebra system☆289Updated this week
- Scientific computing in Lean 4☆427Updated 3 months ago
- Source code for the nLab☆187Updated 6 months ago
- L-Functions and Modular Forms Database☆276Updated last week
- 💧 Liquid Tensor Experiment☆206Updated last year
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆905Updated this week
- ☆37Updated last week
- A field-theory motivated approach to computer algebra.☆257Updated last week
- A project to digitalise results from physics into Lean.☆356Updated this week
- Python bindings for Flint and Arb☆138Updated this week
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆429Updated last week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆415Updated 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…☆121Updated last year
- NCAlgebra - Non Commutative Algebra Package for Mathematica☆174Updated last year
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago
- Rubi for Mathematica☆250Updated last year
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- FLINT (Fast Library for Number Theory)☆531Updated 2 weeks ago
- plasTeX plugin to build formalization blueprints.☆241Updated 2 weeks ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 2 weeks ago
- Theorem Proving in Lean 4☆208Updated 3 weeks ago
- Repository for the Stacks Project☆952Updated this week
- Listing of online math seminars☆43Updated last week
- Group theory visualization software in the browser☆255Updated last year
- All the math/tex files for the Automorphic Project☆19Updated last year