dannycalegari / kleinian
GLUT Kleinian group visualizer
☆26Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for kleinian
- Various simulations of random processes☆11Updated 11 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- CHomP -- Computation Homology Project software☆46Updated 9 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- some maths papers in English☆18Updated last week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 2 months ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- Library for exact real number computations☆39Updated 9 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆25Updated last month
- Schemes in Lean (v2)☆42Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆120Updated 4 months ago
- All the math/tex files for the Automorphic Project☆18Updated 6 months ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- A community database of topological counterexamples☆72Updated this week
- Python Cellular Sheaf Library☆129Updated 2 weeks ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- Metamath verifier in Python☆34Updated 7 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- The main source code for Regina☆33Updated this week
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆10Updated 2 months ago
- Exact Inference Engine for Probabilistic Programs☆130Updated 2 months ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- A DSL for the internal language of a topos☆61Updated 7 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- knot theory and computational algebra software☆35Updated 10 years ago
- Deposited packages of the homalg project☆12Updated last week