Fetching the paper…
Reading the bibliography…
Regina is a software package for studying 3-manifold triangulations and normal surfaces.
Hellmuth Kneser, Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten , Jahresbericht der Deut. Math. Verein. 38
1929
Earlier work this paper cites.
T. S. Motzkin, H. Raiffa, G. L. Thompson, and R. M. Thrall, The double description method , Contributions to the Theory of Games, Vol. II (H. W. Kuhn and A. W. Tucker, eds.), Annals of Mathematics Studies, no. 28, Princeton University Press, Princeton, NJ, 1953, pp. 51–73
1953
Earlier work this paper cites.
A. A. Markov, Insolubility of the problem of homeomorphy , Proc. Internat. Congress Math. 1958, Cambridge Univ. Press, New York, 1960, pp. 300–306
1960
Earlier work this paper cites.
Wolfgang Haken, Theorie der Normalflächen , Acta Math. 105
1961
Earlier work this paper cites.
Robert Endre Tarjan, Efficiency of a good but not linear set union algorithm , J. ACM 22
1975
Earlier work this paper cites.
William P. Thurston, The geometry and topology of 3-manifolds , Lecture notes, Princeton University, 1978
1978
Earlier work this paper cites.
Peter Scott, The geometries of 3-manifolds , Bull. London Math. Soc. 15
1983
Earlier work this paper cites.
William Jaco and Ulrich Oertel, An algorithm to decide if a 3 3 -manifold is a Haken manifold , Topology 23
1984
Earlier work this paper cites.
S. V. Matveev, Transformations of special spines, and the Zeeman conjecture , Izv. Akad. Nauk SSSR Ser. Mat. 51
1987
Earlier work this paper cites.
William Jaco and J. Hyam Rubinstein, PL equivariant surgery and invariant decompositions of 3-manifolds , Adv. Math. 73
1989
Earlier work this paper cites.
Sergei V. Matveev, Complexity theory of three-dimensional manifolds , Acta Appl. Math. 19
1990
Earlier work this paper cites.
Udo Pachner, P.L. homeomorphic manifolds are equivalent by elementary shellings , European J. Combin. 12
1991
Earlier work this paper cites.
Robert Sedgewick, Algorithms in C++ , Addison-Wesley, Reading, MA, 1992
1992
Earlier work this paper cites.
Craig D. Hodgson and Jeffrey R. Weeks, Symmetries, isometries and length spectra of closed hyperbolic three-manifolds , Experiment. Math. 3
1994
Earlier work this paper cites.
Igor Rivin, Euclidean structures on simplicial surfaces and hyperbolic volume , Ann. of Math. (2) 139
1994
Earlier work this paper cites.
Abigail Thompson, Thin position and the recognition problem for S 3 S^{3} , Math. Res. Lett. 1
1994
Earlier work this paper cites.
William Jaco and Jeffrey L. Tollefson, Algorithms for the complete decomposition of a closed 3 3 -manifold , Illinois J. Math. 39
1995
Earlier work this paper cites.
J. Hyam Rubinstein, An algorithm to recognize the 3 3 -sphere , Proceedings of the International Congress of Mathematicians (Zürich, 1994), vol. 1, Birkhäuser, 1995, pp. 601–611
1995
Earlier work this paper cites.
Komei Fukuda and Alain Prodon, Double description method revisited , Combinatorics and Computer Science (Brest, 1995), Lecture Notes in Comput. Sci., vol. 1120, Springer, Berlin, 1996, pp. 91–111
1996
Earlier work this paper cites.
Jeffrey L. Tollefson, Normal surface Q Q -theory , Pacific J. Math. 183
1998
Earlier work this paper cites.
Patrick J. Callahan, Martin V. Hildebrand, and Jeffrey R. Weeks, A census of cusped hyperbolic 3-manifolds , Math. Comp. 68
1999
Cited alongside, same era.
Joel Hass, Jeffrey C. Lagarias, and Nicholas Pippenger, The computational complexity of knot and link problems , J. Assoc. Comput. Mach. 46
1999
Cited alongside, same era.
by same author, Word hyperbolic Dehn surgery , Invent. Math. 140
2000
Cited alongside, same era.
by same author, Taut ideal triangulations of 3-manifolds , Geom. Topol. 4
2000
Cited alongside, same era.
Jeffrey R. Weeks, SnapPea: Hyperbolic 3-manifold software , http://www.geometrygames.org/SnapPea/
2000
Cited alongside, same era.
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein, Introduction to algorithms , 2nd ed., MIT Press, Cambridge, MA, 2001
by same author, Quadrilateral-octagon coordinates for almost normal surfaces , Experiment. Math. 19
2010
Later among the works it cites.
Ian Agol, Ideal triangulations of pseudo-Anosov mapping tori , Topology and Geometry in Dimension Three, Contemp. Math., vol. 560, Amer. Math. Soc., Providence, RI, 2011, pp. 1–17
2011
Later among the works it cites.
Bruno Benedetti and Günter M. Ziegler, On locally constructible spheres and balls , Acta Math. 206
2011
Later among the works it cites.
by same author, Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations , ISSAC 2011: Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ACM, 2011, pp. 59–66
2011
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2001
Cited alongside, same era.
Bruno Martelli and Carlo Petronio, Three-manifolds having complexity at most 9 , Experiment. Math. 10
2001
Cited alongside, same era.
William Jaco, David Letscher, and J. Hyam Rubinstein, Algorithms for essential surfaces in 3-manifolds , Topology and Geometry: Commemorating SISTAG, Contemporary Mathematics, no. 314, Amer. Math. Soc., Providence, RI, 2002, pp. 107–124
2002
Cited alongside, same era.
by same author, 0-efficient triangulations of 3-manifolds , J. Differential Geom. 65
2003
Cited alongside, same era.
Sergei Matveev, Algorithmic topology and classification of 3-manifolds , Algorithms and Computation in Mathematics, no. 9, Springer, Berlin, 2003
2003
Cited alongside, same era.
by same author, Combinatorial optimization in geometry , Adv. in Appl. Math. 31
2003
Cited alongside, same era.
Benjamin A. Burton, Face pairing graphs and 3-manifold enumeration , J. Knot Theory Ramifications 13
2004
Cited alongside, same era.
2011
Later among the works it cites.
by same author, The Pachner graph and the simplification of 3-sphere triangulations , SCG ’11: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, ACM, 2011, pp. 153–162
2011
Later among the works it cites.
2011
Later among the works it cites.
Maurice Chiodo, Finding non-trivial elements and splittings in groups , J. Algebra 331
2011
Later among the works it cites.
Marc Culler, Nathan M. Dunfield, and Jeffrey R. Weeks, SnapPy, a computer program for studying the geometry and topology of 3-manifolds , http://snappy.computop.org/
2011
Later among the works it cites.
David Futer and François Guéritaud, From angled triangulations to hyperbolic structures , Interactions Between Hyperbolic Geometry, Quantum Topology and Number Theory, Contemp. Math., vol. 541, Amer. Math. Soc., Providence, RI, 2011, pp. 159–182
2011
Later among the works it cites.
Benjamin A. Burton, Ryan Budney, William Pettersson, et al., Regina: Software for 3-manifold topology and normal surface theory , http://regina.sourceforge.net/
2012
Closest in time.
Benjamin A. Burton and Melih Ozlen, Computing the crosscap number of a knot using integer programming and normal surfaces , ACM Trans. Math. Software 39
2012
Closest in time.
2012
Closest in time.
Benjamin A. Burton, J. Hyam Rubinstein, and Stephan Tillmann, The Weber-Seifert dodecahedral space is non-Haken , Trans. Amer. Math. Soc. 364
2012
Closest in time.
by same author, 3-Manifold Recognizer and 3-Manifold Atlas , To appear in Oberwolfach Rep., 2012
2012
Closest in time.
Sergei Matveev et al., Manifold recognizer , http://www.matlas.math.csu.ru/?page=recognizer
2012
Closest in time.
Nokia Corporation, Qt – cross-platform application and UI framework , http://qt.nokia.com/
2012
Closest in time.
by same author, A tree traversal algorithm for decision problems in knot theory and 3-manifold topology , Algorithmica 65
2013
Closest in time.
Benjamin A. Burton and Jonathan Spreer, The complexity of detecting taut angle structures on triangulations , SODA ’13: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2013, pp. 168–183
2013
Closest in time.
Craig D. Hodgson, J. Hyam Rubinstein, Henry Segerman, and Stephan Tillmann, Veering triangulations admit strict angle structures , Geom. Topol. 15
2089
Closest in time.