Introducing Regina, The 3-Manifold Topology Software

An overview is presented of Regina, a freely available software package for 3-manifold topologists. In addition to working with 3-manifold triangulations, Regina includes support for normal surfaces and angle structures. The features of the software are described in detail, followed by examples of research projects in which Regina has been used.

[1]  William Kazez,et al.  Polyhedral minimal surfaces, Heegaard splittings, and decision problems for 3-dimensional manifolds , 1996 .

[2]  J. Hyam Rubinstein,et al.  0-Efficient Triangulations of 3-Manifolds , 2002 .

[3]  J. Hyam Rubinstein,et al.  Layered-triangulations of 3-manifolds , 2006, math/0603601.

[4]  David Letscher,et al.  Algorithms for essential surfaces in 3-manifolds , 2002 .

[5]  Benjamin A. Burton.  MINIMAL TRIANGULATIONS AND NORMAL SURFACES , 2003 .

[6]  Igor Rivin.  Euclidean Structures on Simplicial Surfaces and Hyperbolic Volume , 1994 .

[7]  J. Rubinstein,et al.  An Algorithm to Recognize the 3-Sphere , 1995 .

[8]  Word hyperbolic Dehn surgery , 1998, math/9808120.

[9]  W. Harvey.  THE CLASSIFICATION OF KNOTS AND 3‐DIMENSIONAL SPACES , 1995 .

[10]  Benjamin A. Burton.  FACE PAIRING GRAPHS AND 3-MANIFOLD ENUMERATION , 2004 .

[11]  W. Haken,et al.  Über das Homöomorphieproblem der 3-Mannigfaltigkeiten. I , 1962 .

[12]  Bruno Martelli,et al.  Three-Manifolds Having Complexity At Most 9 , 2001, Exp. Math..

[13]  Hellmuth Kneser,et al.  Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten. , 1929 .

[14]  Ulrich Oertel,et al.  An algorithm to decide if a 3-manifold is a Haken manifold , 1984 .

[15]  Jeffrey R. Weeks,et al.  A census of cusped hyperbolic 3-manifolds , 1999, Math. Comput..

[16]  Jeffrey L. Tollefson.  NORMAL SURFACE Q-THEORY , 1998 .

[17]  Igor Rivin.  Combinatorial optimization in geometry , 2003, Adv. Appl. Math..

[18]  William Jaco,et al.  Algorithms for the complete decomposition of a closed $3$-manifold , 1995 .

[19]  Marc Lackenby.  Taut ideal triangulations of 3–manifolds , 2000 .

[20]  Geoffrey Hemion.  The Classification of Knots and 3-Dimensional Spaces , 1992 .

[21]  Vladimir Turaev,et al.  State sum invariants of 3 manifolds and quantum 6j symbols , 1992 .

[22]  W. Haken.  Theorie der Normalflächen , 1961 .