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.
☆87Updated this week
Related projects ⓘ
Alternatives and complementary repositories for SnapPy
- The main source code for Regina☆33Updated last week
- Source code for the nLab☆148Updated 2 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆346Updated this week
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆25Updated last month
- Mathematica packages for geometric algebra☆45Updated last year
- 💧 Liquid Tensor Experiment☆180Updated 9 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆121Updated 3 months ago
- Scientific computing in Lean 4☆323Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- amateur translation project of Grothendieck's EGA.☆330Updated 3 weeks ago
- plasTeX plugin to build formalization blueprints.☆168Updated 2 weeks ago
- A community database of topological counterexamples☆72Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 5 months ago
- Symbolic Geometric Algebra/Calculus package for SymPy☆232Updated 3 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month
- A Lean file formatter☆62Updated last year
- LaTeX version of Grothendieck's Pursuing Stacks☆46Updated 3 years ago
- Formalization of the existence of sphere eversions☆36Updated last month
- Perfectoid spaces in the Lean formal theorem prover.☆115Updated 4 months ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Listing of online math seminars☆41Updated 2 months ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated this week
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- Group theory visualization software in the browser☆228Updated 7 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆136Updated this week
- Metamath source file for logic and set theory☆254Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago