Mathematical software

SnapPea
Referenced in 163 articles [sw06873]
program for creating and studying hyperbolic 3-manifolds. Each noncompact (or cusped) hyperbolic 3-manifold ... census is given for all hyperbolic 3-manifolds which can be obtained by gluing ... gluings which could not possibly yield hyperbolic manifolds. Then in a second step computer programs ... possible classification schemes for hyperbolic 3-manifolds, besides giving examples of small hyperbolic 3-manifolds...

Snap
Referenced in 30 articles [sw20131]
program for studying arithmetic invariants of hyperbolic 3-manifolds. It is based on Jeff Weeks ... program SnapPea for studying hyperbolic 3-manifolds, and on the number theory package Pari. Snap...

hikmot
Referenced in 12 articles [sw34524]
used for verified computations for hyperbolic 3-manifolds. This is based on the procedure ... following paper: Verified computations for hyperbolic 3-manifolds. For a given cusped 3-manifold ... filling of M admits a complete hyperbolic structure via verified computer calculations. Central...

geomstats
Referenced in 11 articles [sw24373]
package that performs computations on manifolds such as hyperspheres, hyperbolic spaces, spaces of symmetric positive ... extensively unit-tested implementations of these manifolds, together with useful Riemannian metrics and associated Exponential...

Orb
Referenced in 6 articles [sw34482]
large class of hyperbolic 3-orbifolds and 3-manifolds. It can start with a projection ... graph drilled out. It enables computation of hyperbolic structures on knot complements, graph complements...

cheeky
Referenced in 1 article [sw28426]
parental test for orientable finite-volume hyperbolic 3-manifolds. This is upcoming joint work with...

ForestClaw
Referenced in 11 articles [sw19374]
from ClawPack, a software package for solving hyperbolic PDEs using finite volumes methods. We show ... scalar advection problems on two-dimensional manifold domains on 1 to 64Ki MPI processes, demonstrating...

UnstableManifoldCompactMap
Referenced in 1 article [sw22780]
approximations of the unstable manifold at a hyperbolic fixed point of a compact infinite dimensional ... obtain a representation of the invariant manifold which is accurate in a large region about...

Manifolds.jl
Referenced in 2 articles [sw39726]
Extensible Julia Framework for Data Analysis on Manifolds. For data given on a nonlinear space ... hyperbolic space, there is often enough structure to form a Riemannian manifold. We present...

SnapPea