3-manifolds / Spherogram
Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaard diagrams. It a component of the larger SnapPy project.
☆19Updated this week
Alternatives and similar repositories for Spherogram:
Users that are interested in Spherogram are comparing it to the libraries listed below
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆27Updated last week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 3 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- A database app for ring theory☆21Updated last month
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- A tool for proving and organizing general theorems using Python.☆28Updated 3 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated last week
- Formalizing results about the Mandelbrot set in Lean☆20Updated 5 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆38Updated last year
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 7 months ago
- Convex optimization modeling in Lean 4☆44Updated 10 months ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- Quantum information theory in Lean 4☆13Updated this week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Matroids in Lean☆18Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- Deposited packages of the homalg project☆13Updated 3 months ago
- Metamath verifier in Python☆38Updated last year
- A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds☆13Updated 6 months ago
- ☆49Updated 2 years ago
- VSCode extension for Metamath☆10Updated 3 weeks ago
- Learning platform for category theory in python☆16Updated this week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- ☆18Updated this week