
SnapPea
 Referenced in 161 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 ... such manifolds, 4815 of them are orientable. The 103 manifolds obained from four or fewer ... possible classification schemes for hyperbolic 3manifolds, besides giving examples of small hyperbolic 3manifolds...

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...

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

hikmot
 Referenced in 10 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...

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...

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

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

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

Coq
 Referenced in 1849 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 126 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 187 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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

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

HSL
 Referenced in 275 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

hypre
 Referenced in 296 articles
[sw00426]
 hypre is a software library for the solution...

IRKC
 Referenced in 20 articles
[sw00452]
 The Fortran 90 code IRKC is intended for...

ITPACK
 Referenced in 47 articles
[sw00459]
 The ITPACK project: Past, present, and future The...