{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:46:37Z","timestamp":1740109597653,"version":"3.37.3"},"reference-count":72,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T00:00:00Z","timestamp":1690934400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T00:00:00Z","timestamp":1690934400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DMS-1510204","DMS-1811156"],"award-info":[{"award-number":["DMS-1510204","DMS-1811156"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000893","name":"Simons Foundation","doi-asserted-by":"publisher","award":["DMS-1811156","DMS-1510204"],"award-info":[{"award-number":["DMS-1811156","DMS-1510204"]}],"id":[{"id":"10.13039\/100000893","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Comput Geom"],"published-print":{"date-parts":[[2024,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A knot is a circle piecewise-linearly embedded into the 3-sphere. The topology of a knot is intimately related to that of its exterior, which is the complement of an open regular neighborhood of the knot. Knots are typically encoded by planar diagrams, whereas their exteriors, which are compact 3-manifolds with torus boundary, are encoded by triangulations. Here, we give the first practical algorithm for finding a diagram of a knot given a triangulation of its exterior. Our method applies to links as well as knots, and allows us to recover links with hundreds of crossings. We use it to find the first diagrams known for 23 principal congruence arithmetic link exteriors; the largest has over 2500 crossings. Other applications include finding pairs of knots with the same 0-surgery, which relates to questions about slice knots and the smooth 4D Poincar\u00e9 conjecture.<\/jats:p>","DOI":"10.1007\/s00454-023-00533-w","type":"journal-article","created":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T18:01:56Z","timestamp":1690999316000},"page":"121-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Computing a Link Diagram From Its Exterior"],"prefix":"10.1007","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9152-6598","authenticated-orcid":false,"given":"Nathan M.","family":"Dunfield","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Malik","family":"Obeidin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6065-1110","authenticated-orcid":false,"given":"Cameron Gates","family":"Rudd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,2]]},"reference":[{"key":"533_CR1","volume-title":"The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots","author":"CC Adams","year":"1994","unstructured":"Adams, C.C.: The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots. W.H. Freeman, New York (1994)"},{"issue":"3","key":"533_CR2","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1307\/mmj\/1030132477","volume":"46","author":"CC Adams","year":"1999","unstructured":"Adams, C.C.: Isometric cusps in hyperbolic $$3$$-manifolds. Mich. Math. J. 46(3), 515\u2013531 (1999)","journal-title":"Mich. Math. J."},{"key":"533_CR3","doi-asserted-by":"crossref","unstructured":"Adams, C.: Triple crossing number of knots and links. J. Knot Theory Ramif. 22(2), #\u00a01350006 (2013)","DOI":"10.1142\/S0218216513500065"},{"key":"533_CR4","unstructured":"Baker, K.L.: A sketchy surgery description of the Seifert\u2013Weber Dodecahedral space (2021). https:\/\/sketchesoftopology.wordpress.com\/2021\/12\/09\/a-sketchy-surgery"},{"key":"533_CR5","unstructured":"Baker, K.L., Kegel, M.: Census L-space knots are braid positive, except one that is not. Algebr. Geom. Topol. https:\/\/msp.org\/soon\/coming.php?jpath=agt"},{"key":"533_CR6","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1016\/j.jalgebra.2019.02.023","volume":"528","author":"MD Baker","year":"2019","unstructured":"Baker, M.D., Goerner, M., Reid, A.W.: All principal congruence link groups. J. Algebra 528, 497\u2013504 (2019)","journal-title":"J. Algebra"},{"key":"533_CR7","doi-asserted-by":"crossref","unstructured":"Baker, M.D., Goerner, M., Reid, A.W.: All known principal congruence links (2019). arXiv:1902.04426","DOI":"10.1016\/j.jalgebra.2019.02.023"},{"issue":"3","key":"533_CR8","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1142\/S0218216507005294","volume":"16","author":"D Bar-Natan","year":"2007","unstructured":"Bar-Natan, D.: Fast Khovanov homology computations. J. Knot Theory Ramif. 16(3), 243\u2013255 (2007)","journal-title":"J. Knot Theory Ramif."},{"key":"533_CR9","unstructured":"Bering, E.A. IV: Surgery diagram for the Seifert\u2013Weber space. MathOverflow, question #\u00a0137101 (2013). https:\/\/mathoverflow.net\/q\/137101"},{"key":"533_CR10","doi-asserted-by":"crossref","unstructured":"Burton, B.A.: The Pachner graph and the simplification of $$3$$-sphere triangulations. In: 27th Annual Symposium on Computational Geometry (Paris 2011), pp. 153\u2013162. ACM, New York (2011)","DOI":"10.1145\/1998196.1998220"},{"key":"533_CR11","doi-asserted-by":"crossref","unstructured":"Burton, B.A.: Computational topology with Regina: algorithms, heuristics and implementations. In: Geometry and Topology Down Under. Contemporary Mathematics, vol. 597, pp. 195\u2013224. American Mathematical Society, Providence (2013)","DOI":"10.1090\/conm\/597\/11877"},{"key":"533_CR12","unstructured":"Burton, B.A.: The next 350 million knots. In: 36th International Symposium on Computational Geometry (2020). Leibniz Int. Proc. Inform., vol. 164, #\u00a025. Leibniz-Zent. Inform., Wadern (2020)"},{"key":"533_CR13","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/6767","author":"BA Burton","year":"2023","unstructured":"Burton, B.A.: The cusped hyperbolic census is complete. Trans. Am. Math. Soc. (2023). https:\/\/doi.org\/10.1090\/tran\/6767","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"533_CR14","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1090\/S0002-9947-2011-05419-X","volume":"364","author":"BA Burton","year":"2012","unstructured":"Burton, B.A., Rubinstein, J.H., Tillmann, S.: The Weber\u2013Seifert dodecahedral space is non-Haken. Trans. Am. Math. Soc. 364(2), 911\u2013932 (2012)","journal-title":"Trans. Am. Math. Soc."},{"key":"533_CR15","unstructured":"Burton, B.A., Budney, R., Pettersson, W.: Regina: software for low-dimensional topology. http:\/\/regina-normal.github.io\/"},{"key":"533_CR16","doi-asserted-by":"publisher","unstructured":"Burton, B.A., Chang, H.-Ch., L\u00f6ffler, M., Maria, C., de Mesmay,\u00a0A., Schleimer,\u00a0S., Sedgwick,\u00a0E., Spreer,\u00a0J.: Hard diagrams of the unknot. Exp. Math. (2023). https:\/\/doi.org\/10.1080\/10586458.2022.2161676","DOI":"10.1080\/10586458.2022.2161676"},{"key":"533_CR17","doi-asserted-by":"crossref","unstructured":"Champanerkar, A., Kofman, I., Mullen, T.: The 500 simplest hyperbolic knots. J.\u00a0Knot Theory Ramif. 23(12), #\u00a01450055 (2014)","DOI":"10.1142\/S0218216514500552"},{"key":"533_CR18","unstructured":"Culler, M., Dunfield, N.M., Goerner, M., Weeks, J.R.: SnapPy, a computer program for studying the geometry and topology of $$3$$-manifolds, v.\u00a03.1 (2022). https:\/\/snappy.computop.org"},{"key":"533_CR19","doi-asserted-by":"crossref","unstructured":"Dunfield, N.M.: A census of exceptional Dehn fillings. In: Characters in Low-Dimensional Topology (Montr\u00e9al 2018). Contemporary Mathematics, vol. 760, pp. 143\u2013155. American Mathematical Society, Providence (2020)","DOI":"10.1090\/conm\/760\/15289"},{"key":"533_CR20","doi-asserted-by":"publisher","DOI":"10.7910\/DVN\/BT1M8R","author":"NM Dunfield","year":"2022","unstructured":"Dunfield, N.M., Obeidin, M., Rudd, C.G.: Code and data for computing a link diagram from its exterior. Harvard Dataverse (2022). https:\/\/doi.org\/10.7910\/DVN\/BT1M8R","journal-title":"Harvard Dataverse"},{"key":"533_CR21","doi-asserted-by":"crossref","unstructured":"Dunfield, N.M., Obeidin, M., Rudd, C.G.: Computing a link diagram from its exterior. In: 38th International Symposium on Computational Geometry (Berlin 2022). Leibniz Int. Proc. Inform., vol. 224, #\u00a037. Leibniz-Zent. Inform., Wadern (2022)","DOI":"10.1007\/s00454-023-00533-w"},{"issue":"4","key":"533_CR22","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/BF02467109","volume":"33","author":"IA Dynnikov","year":"1999","unstructured":"Dynnikov, I.A.: Three-page approach to knot theory. Encoding and local moves. Funct. Anal. Appl. 33(4), 260\u2013269 (1999)","journal-title":"Funct. Anal. Appl."},{"key":"533_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.4064\/fm190-0-3","volume":"190","author":"IA Dynnikov","year":"2006","unstructured":"Dynnikov, I.A.: Arc-presentations of links: monotonic simplification. Fund. Math. 190, 29\u201376 (2006)","journal-title":"Fund. Math."},{"key":"533_CR24","doi-asserted-by":"crossref","unstructured":"Dynnikov, I., Sokolova, V.: Multiflypes of rectangular diagrams of links. J.\u00a0Knot Theory Ramif. 30(6), #\u00a02150038 (2021)","DOI":"10.1142\/S0218216521500383"},{"key":"533_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626272","volume-title":"When Topology Meets Chemistry. Outlooks","author":"E Flapan","year":"2000","unstructured":"Flapan, E.: When Topology Meets Chemistry. Outlooks. Cambridge University Press, Cambridge (2000)"},{"issue":"19","key":"533_CR26","doi-asserted-by":"publisher","first-page":"9360","DOI":"10.1073\/pnas.1808312116","volume":"116","author":"E Flapan","year":"2019","unstructured":"Flapan, E., He, A., Wong, H.: Topological descriptions of protein folding. Proc. Natl. Acad. Sci. U.S.A. 116(19), 9360\u20139369 (2019)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"issue":"2","key":"533_CR27","doi-asserted-by":"publisher","first-page":"171","DOI":"10.4171\/QT\/5","volume":"1","author":"M Freedman","year":"2010","unstructured":"Freedman, M., Gompf, R., Morrison, S., Walker, K.: Man and machine thinking about the smooth $$4$$-dimensional Poincar\u00e9 conjecture. Quant. Topol. 1(2), 171\u2013208 (2010)","journal-title":"Quant. Topol."},{"key":"533_CR28","doi-asserted-by":"crossref","unstructured":"Gordon, C.McA., Luecke, J.: Knots are determined by their complements. J.\u00a0AMS 2(2), 371\u2013415 (1989)","DOI":"10.1090\/S0894-0347-1989-0965210-7"},{"issue":"11","key":"533_CR29","doi-asserted-by":"publisher","first-page":"2133","DOI":"10.1215\/00127094-2017-0004","volume":"166","author":"JE Greene","year":"2017","unstructured":"Greene, J.E.: Alternating links and definite surfaces. Duke Math. J. 166(11), 2133\u20132151 (2017)","journal-title":"Duke Math. J."},{"key":"533_CR30","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF02559591","volume":"105","author":"W Haken","year":"1961","unstructured":"Haken, W.: Theorie der Normalfl\u00e4chen. Acta Math. 105, 245\u2013375 (1961)","journal-title":"Acta Math."},{"key":"533_CR31","doi-asserted-by":"crossref","unstructured":"Hass, J., Lagarias, J.C., Pippenger, N.: The computational complexity of knot and link problems. J. ACM 46(2), 185\u2013211 (1999)","DOI":"10.1145\/301970.301971"},{"issue":"4","key":"533_CR32","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1080\/10586458.1994.10504296","volume":"3","author":"CD Hodgson","year":"1994","unstructured":"Hodgson, C.D., Weeks, J.R.: Symmetries, isometries and length spectra of closed hyperbolic three-manifolds. Exp. Math. 3(4), 261\u2013274 (1994)","journal-title":"Exp. Math."},{"issue":"4","key":"533_CR33","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF03025227","volume":"20","author":"J Hoste","year":"1998","unstructured":"Hoste, J., Thistlethwaite, M., Weeks, J.: The first $$1{,}701{,}936$$ knots. Math. Intell. 20(4), 33\u201348 (1998)","journal-title":"Math. Intell."},{"issue":"4","key":"533_CR34","doi-asserted-by":"publisher","first-page":"2353","DOI":"10.2140\/gt.2017.21.2353","volume":"21","author":"JA Howie","year":"2017","unstructured":"Howie, J.A.: A characterisation of alternating knot exteriors. Geom. Topol. 21(4), 2353\u20132371 (2017)","journal-title":"Geom. Topol."},{"key":"533_CR35","unstructured":"Husz\u00e1r, K., Spreer, J.: $$3$$-manifold triangulations with small treewidth. In: 35th International Symposium on Computational Geometry (Portland 2019). Leibniz Int. Proc. Inform., vol. 129, #\u00a044. Leibniz-Zent. Inform., Wadern (2019)"},{"key":"533_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10711-007-9210-4","volume":"131","author":"SV Ivanov","year":"2008","unstructured":"Ivanov, S.V.: The computational complexity of basic decision problems in $$3$$-dimensional topology. Geom. Dedicata 131, 1\u201326 (2008)","journal-title":"Geom. Dedicata"},{"issue":"1","key":"533_CR37","doi-asserted-by":"publisher","first-page":"61","DOI":"10.4310\/jdg\/1090503053","volume":"65","author":"W Jaco","year":"2003","unstructured":"Jaco, W., Rubinstein, J.H.: $$0$$-efficient triangulations of $$3$$-manifolds. J. Differ. Geom. 65(1), 61\u2013168 (2003)","journal-title":"J. Differ. Geom."},{"key":"533_CR38","unstructured":"Jaco, W., Rubinstein, J.H.: Layered-triangulations of $$3$$-manifolds (2006). arXiv:math\/0603601"},{"key":"533_CR39","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1016\/j.aim.2014.09.001","volume":"267","author":"W Jaco","year":"2014","unstructured":"Jaco, W., Rubinstein, J.H.: Inflations of ideal triangulations. Adv. Math. 267, 176\u2013224 (2014)","journal-title":"Adv. Math."},{"issue":"4","key":"533_CR40","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1016\/S0040-9383(02)00083-6","volume":"42","author":"W Jaco","year":"2003","unstructured":"Jaco, W., Sedgwick, E.: Decision problems in the space of Dehn fillings. Topology 42(4), 845\u2013906 (2003)","journal-title":"Topology"},{"issue":"1","key":"533_CR41","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1017\/S0305004100068936","volume":"108","author":"F Jaeger","year":"1990","unstructured":"Jaeger, F., Vertigan, D.L., Welsh, D.J.A.: On the computational complexity of the Jones and Tutte polynomials. Math. Proc. Camb. Philos. Soc. 108(1), 35\u201353 (1990)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"issue":"1","key":"533_CR42","doi-asserted-by":"publisher","first-page":"189","DOI":"10.2140\/pjm.2019.301.189","volume":"301","author":"G Kuperberg","year":"2019","unstructured":"Kuperberg, G.: Algorithmic homeomorphism of $$3$$-manifolds as a corollary of geometrization. Pac. J. Math. 301(1), 189\u2013241 (2019)","journal-title":"Pac. J. Math."},{"issue":"9","key":"533_CR43","doi-asserted-by":"publisher","first-page":"6540","DOI":"10.1093\/imrn\/rnaa310","volume":"2022","author":"F Lin","year":"2022","unstructured":"Lin, F., Lipnowski, M.: Monopole Floer homology, eigenform multiplicities, and the Seifert\u2013Weber dodecahedral space. Int. Math. Res. Not. 2022(9), 6540\u20136560 (2022)","journal-title":"Int. Math. Res. Not."},{"issue":"2","key":"533_CR44","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1016\/j.dam.2004.01.016","volume":"145","author":"JA Makowsky","year":"2005","unstructured":"Makowsky, J.A.: Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Discrete Appl. Math. 145(2), 276\u2013290 (2005)","journal-title":"Discrete Appl. Math."},{"key":"533_CR45","unstructured":"Manolescu, C., Piccirillo, L.: From zero surgeries to candidates for exotic definite four-manifolds (2021). arXiv:2102.04391"},{"key":"533_CR46","unstructured":"Matveev, S.: Algorithmic Topology and Classification of $$3$$-Manifolds. Algorithms and Computation in Mathematics, vol.\u00a09. Springer, Berlin (2007)"},{"key":"533_CR47","doi-asserted-by":"crossref","unstructured":"de Mesmay, A., Rieck, Y., Sedgwick, E., Tancer, M.: The unbearable hardness of unknotting. Adv. Math. 381, #\u00a0107648 (2021)","DOI":"10.1016\/j.aim.2021.107648"},{"issue":"2","key":"533_CR48","doi-asserted-by":"publisher","first-page":"291","DOI":"10.2140\/pjm.2003.208.291","volume":"208","author":"A Mijatovi\u0107","year":"2003","unstructured":"Mijatovi\u0107, A.: Simplifying triangulations of $$S^3$$. Pac. J. Math. 208(2), 291\u2013324 (2003)","journal-title":"Pac. J. Math."},{"issue":"1","key":"533_CR49","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1090\/S0002-9947-1991-1000333-3","volume":"326","author":"K Murasugi","year":"1991","unstructured":"Murasugi, K.: On the braid index of alternating links. Trans. Am. Math. Soc. 326(1), 237\u2013260 (1991)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"533_CR50","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1090\/S0002-9947-1982-0664030-0","volume":"273","author":"R Myers","year":"1982","unstructured":"Myers, R.: Simple knots in compact, orientable $$3$$-manifolds. Trans. Am. Math. Soc. 273(1), 75\u201391 (1982)","journal-title":"Trans. Am. Math. Soc."},{"key":"533_CR51","unstructured":"Obeidin, M.: Link simplification code for Spherogram. https:\/\/github.com\/3-manifolds\/Spherogram\/blob\/master\/spherogram_src\/links\/simplify.py"},{"issue":"2","key":"533_CR52","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0040-9383(91)90010-2","volume":"30","author":"J O\u2019Hara","year":"1991","unstructured":"O\u2019Hara, J.: Energy of a knot. Topology 30(2), 241\u2013247 (1991)","journal-title":"Topology"},{"issue":"3","key":"533_CR53","doi-asserted-by":"publisher","first-page":"481","DOI":"10.4171\/QT\/127","volume":"10","author":"P Ozsv\u00e1th","year":"2019","unstructured":"Ozsv\u00e1th, P., Szab\u00f3, Z.: Bordered knot algebras with matchings. Quant. Topol. 10(3), 481\u2013592 (2019)","journal-title":"Quant. Topol."},{"issue":"2","key":"533_CR54","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0195-6698(13)80080-7","volume":"12","author":"U Pachner","year":"1991","unstructured":"Pachner, U.: P.L. homeomorphic manifolds are equivalent by elementary shellings. Eur. J. Combin. 12(2), 129\u2013145 (1991)","journal-title":"Eur. J. Combin."},{"key":"533_CR55","doi-asserted-by":"crossref","unstructured":"Peddada, S.R.T., Dunfield, N.M., Zeidner, L.E., James, K.A., Allison, J.T.: Systematic enumeration and identification of unique spatial topologies of 3D systems using spatial graph representations. In: 47th Design Automation Conference (2021). International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, vol.\u00a03A, #\u00a0V03AT03A042. ASME, New York (2021)","DOI":"10.1115\/DETC2021-66900"},{"issue":"2","key":"533_CR56","doi-asserted-by":"publisher","first-page":"581","DOI":"10.4007\/annals.2020.191.2.5","volume":"191","author":"L Piccirillo","year":"2020","unstructured":"Piccirillo, L.: The Conway knot is not slice. Ann. Math. 191(2), 581\u2013591 (2020)","journal-title":"Ann. Math."},{"key":"533_CR57","unstructured":"Piergallini, R.: Standard moves for standard polyhedra and spines. In: 3rd National Conference on Topology (Trieste 1986). Rend. Circ. Mat. Palermo Suppl., vol.\u00a018, pp. 391\u2013414. Circolo Matematico di Palermo, Palermo (1988)"},{"key":"533_CR58","unstructured":"Rolfsen, D.: Knots and Links. Mathematics Lecture Series, vol.\u00a07. Publish or Perish, Houston (1990)"},{"key":"533_CR59","doi-asserted-by":"crossref","unstructured":"Schirra, S.: Robustness and precision issues in geometric computation. In: Handbook of Computational Geometry, pp. 597\u2013632. North-Holland, Amsterdam (2000)","DOI":"10.1016\/B978-044482537-7\/50015-2"},{"key":"533_CR60","doi-asserted-by":"crossref","unstructured":"Schleimer, S.: Sphere recognition lies in NP. In: Low-Dimensional and Symplectic Topology (Athens 2009). Proc. Sympos. Pure Math., vol. 82, pp. 183\u2013213. American Mathematical Society, Providence (2011)","DOI":"10.1090\/pspum\/082\/2768660"},{"issue":"2","key":"533_CR61","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1017\/S0017089520000257","volume":"63","author":"D Sch\u00fctz","year":"2021","unstructured":"Sch\u00fctz, D.: A fast algorithm for calculating $$S$$-invariants. Glasg. Math. J. 63(2), 378\u2013399 (2021)","journal-title":"Glasg. Math. J."},{"key":"533_CR62","unstructured":"Sch\u00fctz, D.: Knotjob (2022, blue version). https:\/\/www.maths.dur.ac.uk\/users\/dirk.schuetz\/knotjob.html"},{"issue":"12","key":"533_CR63","doi-asserted-by":"publisher","first-page":"5391","DOI":"10.1090\/proc\/13485","volume":"145","author":"H Segerman","year":"2017","unstructured":"Segerman, H.: Connectivity of triangulations without degree one edges under $$2$$-$$3$$ and $$3$$-$$2$$ moves. Proc. Am. Math. Soc. 145(12), 5391\u20135404 (2017)","journal-title":"Proc. Am. Math. Soc."},{"issue":"3","key":"533_CR64","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1142\/S021821659400023X","volume":"3","author":"JK Simon","year":"1994","unstructured":"Simon, J.K.: Energy functions for polygonal knots. J. Knot Theory Ramif. 3(3), 299\u2013320 (1994)","journal-title":"J. Knot Theory Ramif."},{"issue":"2","key":"533_CR65","doi-asserted-by":"publisher","first-page":"329","DOI":"10.2140\/pjm.1998.182.329","volume":"182","author":"C Sundberg","year":"1998","unstructured":"Sundberg, C., Thistlethwaite, M.: The rate of growth of the number of prime alternating links and tangles. Pac. J. Math. 182(2), 329\u2013358 (1998)","journal-title":"Pac. J. Math."},{"key":"533_CR66","unstructured":"Szab\u00f3, Z.: Knot Floer homology calculator (2022). https:\/\/web.math.princeton.edu\/~szabo\/HFKcalc.html"},{"issue":"3\u20134","key":"533_CR67","first-page":"329","volume":"54","author":"S Tillmann","year":"2008","unstructured":"Tillmann, S.: Normal surfaces in topologically finite 3-manifolds. Enseign. Math. 54(3\u20134), 329\u2013380 (2008)","journal-title":"Enseign. Math."},{"issue":"1","key":"533_CR68","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BF01474572","volume":"37","author":"C Weber","year":"1933","unstructured":"Weber, C., Seifert, H.: Die beiden Dodekaederr\u00e4ume. Math. Z. 37(1), 237\u2013253 (1933)","journal-title":"Math. Z."},{"issue":"2","key":"533_CR69","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0166-8641(93)90032-9","volume":"52","author":"JR Weeks","year":"1993","unstructured":"Weeks, J.R.: Convex hulls and isometries of cusped hyperbolic $$3$$-manifolds. Topol. Appl. 52(2), 127\u2013149 (1993)","journal-title":"Topol. Appl."},{"key":"533_CR70","unstructured":"Weeks, J.R.: Source code file close_cusps.c for SnapPea, v.\u00a02.5 (circa 1995). https:\/\/github.com\/3-manifolds\/SnapPy\/blob\/master\/kernel\/kernel_code\/"},{"key":"533_CR71","doi-asserted-by":"crossref","unstructured":"Weeks, J.: Computation of hyperbolic structures in knot theory. In: Handbook of Knot Theory, pp. 461\u2013480. Elsevier, Amsterdam (2005)","DOI":"10.1016\/B978-044451452-3\/50011-3"},{"issue":"9","key":"533_CR72","doi-asserted-by":"publisher","first-page":"1643","DOI":"10.1215\/00127094-2018-0004","volume":"167","author":"R Zentner","year":"2018","unstructured":"Zentner, R.: Integer homology $$3$$-spheres admit irreducible representations in SL$$(2,{\\mathbb{C} })$$. Duke Math. J. 167(9), 1643\u20131712 (2018)","journal-title":"Duke Math. J."}],"container-title":["Discrete &amp; Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-023-00533-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00454-023-00533-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-023-00533-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,6]],"date-time":"2024-01-06T20:01:32Z","timestamp":1704571292000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00454-023-00533-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,2]]},"references-count":72,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,1]]}},"alternative-id":["533"],"URL":"https:\/\/doi.org\/10.1007\/s00454-023-00533-w","relation":{},"ISSN":["0179-5376","1432-0444"],"issn-type":[{"type":"print","value":"0179-5376"},{"type":"electronic","value":"1432-0444"}],"subject":[],"published":{"date-parts":[[2023,8,2]]},"assertion":[{"value":"24 July 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 March 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 August 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}