
SnapPea
 Referenced in 163 articles
[sw06873]
 program for creating and studying hyperbolic 3manifolds. Each noncompact (or cusped) hyperbolic 3manifold ... census is given for all hyperbolic 3manifolds 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 3manifolds, besides giving examples of small hyperbolic 3manifolds...

SnapPy
 Referenced in 139 articles
[sw06874]
 geometry of 3manifolds, with a focus on hyperbolic structures. It runs...

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

hikmot
 Referenced in 12 articles
[sw34524]
 used for verified computations for hyperbolic 3manifolds. This is based on the procedure ... following paper: Verified computations for hyperbolic 3manifolds. For a given cusped 3manifold ... 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 unittested implementations of these manifolds, together with useful Riemannian metrics and associated Exponential...

Orb
 Referenced in 6 articles
[sw34482]
 large class of hyperbolic 3orbifolds and 3manifolds. 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 finitevolume hyperbolic 3manifolds. 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 twodimensional 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...

Cadabra
 Referenced in 92 articles
[sw00097]
 Cadabra is a powerful computer program for the...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC
 Referenced in 110 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

Diffpack
 Referenced in 115 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...