3-manifolds / SnapPy
SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.
☆95Updated this week
Alternatives and similar repositories for SnapPy:
Users that are interested in SnapPy are comparing it to the libraries listed below
- The main source code for Regina☆36Updated this week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆358Updated this week
- Source code for the nLab☆169Updated this week
- Mathematica packages for geometric algebra☆48Updated last year
- Source code for lecture notes☆144Updated 7 months ago
- plasTeX plugin to build formalization blueprints.☆187Updated 2 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 5 months ago
- Quantomatic is a tool for doing automated graph rewriting.☆161Updated 5 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 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
- Listing of online math seminars☆42Updated 6 months ago
- Scientific computing in Lean 4☆374Updated this week
- some maths papers in English☆18Updated 2 weeks ago
- A Lean file formatter☆67Updated 2 years ago
- 💧 Liquid Tensor Experiment☆189Updated last year
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆26Updated this week
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆10Updated 6 months ago
- All the math/tex files for the Automorphic Project☆18Updated 9 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- A formal proof of the independence of the continuum hypothesis☆122Updated 6 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Formalization of the existence of sphere eversions☆39Updated last week
- An interactive theorem prover for string diagrams☆112Updated 4 months ago
- Group theory visualization software in the browser☆239Updated 11 months ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- CAP project -- Categories, Algorithms, and Programming☆25Updated last week
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆59Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year