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 last 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
- Mathematica packages for geometric algebra☆48Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆359Updated this week
- Source code for the nLab☆170Updated this week
- 💧 Liquid Tensor Experiment☆189Updated 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
- Tag-based webview of LaTeX documents☆28Updated last year
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆26Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 5 months ago
- plasTeX plugin to build formalization blueprints.☆190Updated 3 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆71Updated last year
- ☆30Updated 2 weeks ago
- Listing of online math seminars☆43Updated 6 months ago
- Scientific computing in Lean 4☆375Updated this week
- Lean for the Curious Mathematician 2020☆66Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- A Lean file formatter☆67Updated 2 years ago
- some maths papers in English☆18Updated 3 weeks ago
- blueprint for prime number theorem and more☆155Updated last week
- Python implementation of the monster group☆42Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆148Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 10 months ago
- Fungrim: the Mathematical Functions Grimoire☆121Updated 3 years ago
- Building dynamical systems compositionally☆69Updated 4 months ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆10Updated 6 months ago
- Quantomatic is a tool for doing automated graph rewriting.☆162Updated 5 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆65Updated last month
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- A software package for analyzing Calabi-Yau manifolds.☆33Updated last week