regina-normal / reginaLinks
The main source code for Regina
☆38Updated this week
Alternatives and similar repositories for regina
Users that are interested in regina are comparing it to the libraries listed below
Sorting:
- 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…☆107Updated this week
- The Open Problems Project☆38Updated 2 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆381Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- A curated list of geometric algebra resources☆134Updated 5 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated last month
- Source code for the nLab☆181Updated 5 months ago
- CAP project -- Categories, Algorithms, and Programming☆33Updated last week
- A software package for analyzing Calabi-Yau manifolds.☆36Updated last week
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Scientific computing in Lean 4☆425Updated 2 months ago
- Symbolic Geometric Algebra/Calculus package for SymPy☆267Updated 2 months ago
- ☆92Updated last year
- An interactive theorem prover for string diagrams☆119Updated 10 months ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆36Updated 10 years ago
- Python implementation of the monster group☆51Updated last month
- Mathematica packages for geometric algebra☆48Updated 3 months ago
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- The matrix cookbook, proved in the Lean theorem prover☆116Updated 2 weeks ago
- Conservative floating point interval arithmetic in Lean☆18Updated this week
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- 💧 Liquid Tensor Experiment☆205Updated last year
- plasTeX plugin to build formalization blueprints.☆232Updated 2 months ago
- Convex optimization modeling in Lean 4☆51Updated last year
- Tag-based webview of LaTeX documents☆31Updated last year
- 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
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 3 months ago