{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T03:57:30Z","timestamp":1772078250904,"version":"3.50.1"},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T00:00:00Z","timestamp":1652918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T00:00:00Z","timestamp":1652918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006764","name":"Technische Universit\u00e4t Berlin","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006764","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Appl. and Comput. Topology"],"published-print":{"date-parts":[[2022,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Sphere recognition is known to be undecidable in dimensions five and beyond, and no polynomial time method is known in dimensions three and four. Here we report on positive and negative computational results with the goal to explore the limits of sphere recognition from a practical point of view. An important ingredient are randomly constructed discrete Morse functions.\n<\/jats:p>","DOI":"10.1007\/s41468-022-00092-8","type":"journal-article","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T13:03:41Z","timestamp":1652965421000},"page":"503-527","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Frontiers of sphere recognition in practice"],"prefix":"10.1007","volume":"6","author":[{"given":"Michael","family":"Joswig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Lofano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank H.","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mimi","family":"Tsuruga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,5,19]]},"reference":[{"key":"92_CR1","doi-asserted-by":"crossref","unstructured":"Adiprasito, K.A., Izmestiev, I.: Derived subdivisions make every PL sphere polytopal. Isr. J. Math. 208(1), 443\u2013450 (2015)","DOI":"10.1007\/s11856-015-1206-4"},{"issue":"4","key":"92_CR2","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1007\/s00454-017-9860-4","volume":"57","author":"KA Adiprasito","year":"2017","unstructured":"Adiprasito, K.A., Benedetti, B., Lutz, F.H.: Extremal examples of collapsible complexes and random discrete Morse theory. Discrete Comput. Geom. 57(4), 824\u2013853 (2017)","journal-title":"Discrete Comput. Geom."},{"issue":"3","key":"92_CR3","doi-asserted-by":"publisher","first-page":"2171","DOI":"10.4007\/annals.2010.171.2171","volume":"171","author":"S Akbulut","year":"2010","unstructured":"Akbulut, S.: Cappell\u2013Shaneson homotopy spheres are standard. Ann. Math. (2) 171(3), 2171\u20132175 (2010)","journal-title":"Ann. Math. (2)"},{"issue":"4","key":"92_CR4","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0040-9383(85)90010-2","volume":"24","author":"S Akbulut","year":"1985","unstructured":"Akbulut, S., Kirby, R.: A potential smooth counterexample in dimension $$4$$ to the Poincar\u00e9 conjecture, the Schoenflies conjecture, and the Andrews\u2013Curtis conjecture. Topology 24(4), 375\u2013390 (1985)","journal-title":"Topology"},{"issue":"1","key":"92_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s12532-016-0104-z","volume":"9","author":"B Assarf","year":"2017","unstructured":"Assarf, B., Gawrilow, E., Herr, K., Joswig, M., Lorenz, B., Paffenholz, A., Rehn, T.: Computing convex hulls and counting integer points with polymake. Math. Program. Comput. 9(1), 1\u201338 (2017)","journal-title":"Math. Program. Comput."},{"key":"92_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0012-365X(97)00273-2","volume":"188","author":"B Bagchi","year":"1998","unstructured":"Bagchi, B., Datta, B.: A structure theorem for pseudomanifolds. Discrete Math. 188, 41\u201360 (1998)","journal-title":"Discrete Math."},{"issue":"1\u20133","key":"92_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.disc.2005.06.026","volume":"305","author":"B Bagchi","year":"2005","unstructured":"Bagchi, B., Datta, B.: Combinatorial triangulations of homology spheres. Discrete Math. 305(1\u20133), 1\u201317 (2005)","journal-title":"Discrete Math."},{"key":"92_CR8","doi-asserted-by":"crossref","unstructured":"Bauer, U., Rathod, A.: Hardness of approximation for Morse matching. In: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, pp.\u00a02663\u20132674. SIAM, Philadelphia, PA (2019)","DOI":"10.1137\/1.9781611975482.165"},{"key":"92_CR9","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.jsc.2016.03.008","volume":"78","author":"U Bauer","year":"2017","unstructured":"Bauer, U., Kerber, M., Reininghaus, J., Wagner, H.: PHAT\u2014Persistent Homology Algorithms Toolbox. J. Symb. Comput. 78, 76\u201390 (2017)","journal-title":"J. Symb. Comput."},{"key":"92_CR10","doi-asserted-by":"crossref","unstructured":"Benedetti, B., Lutz, F.H.: Knots in collapsible and non-collapsible balls. Electron. J. Combin. 20(3), 29 (2013a). (Research Paper P31)","DOI":"10.37236\/3319"},{"key":"92_CR11","unstructured":"Benedetti, B., Lutz, F.H.: The dunce hat and a minimal non-extendably collapsible $$3$$-ball. Electronic Geometry Models No.2013.10.001 (2013b). http:\/\/www.eg-models.de\/2013.10.001"},{"issue":"1","key":"92_CR12","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1080\/10586458.2013.865281","volume":"23","author":"B Benedetti","year":"2014","unstructured":"Benedetti, B., Lutz, F.H.: Random discrete Morse theory and a new library of triangulations. Exp. Math. 23(1), 66\u201394 (2014)","journal-title":"Exp. Math."},{"issue":"2","key":"92_CR13","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s11511-011-0062-2","volume":"206","author":"B Benedetti","year":"2011","unstructured":"Benedetti, B., Ziegler, G.M.: On locally constructible spheres and balls. Acta Math. 206(2), 205\u2013243 (2011)","journal-title":"Acta Math."},{"issue":"2","key":"92_CR14","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1080\/10586458.2000.10504652","volume":"9","author":"A Bj\u00f6rner","year":"2000","unstructured":"Bj\u00f6rner, A., Lutz, F.H.: Simplicial manifolds, bistellar flips and a $$16$$-vertex triangulation of the Poincar\u00e9 homology $$3$$-sphere. Exp. Math. 9(2), 275\u2013289 (2000)","journal-title":"Exp. Math."},{"key":"92_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61578-8","volume-title":"The Simplex Method. A Probabilistic Analysis, Algorithms and Combinatorics","author":"K-H Borgwardt","year":"1987","unstructured":"Borgwardt, K.-H.: The Simplex Method. A Probabilistic Analysis, Algorithms and Combinatorics, vol. 1. Springer, Berlin (1987)"},{"issue":"1","key":"92_CR16","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF01934320","volume":"294","author":"U Brehm","year":"1992","unstructured":"Brehm, U., K\u00fchnel, W.: $$15$$-vertex triangulations of an $$8$$-manifold. Math. Ann. 294(1), 167\u2013193 (1992)","journal-title":"Math. Ann."},{"key":"92_CR17","unstructured":"Burton, B.A., Budney, R., Pettersson, W., et\u00a0al.: Regina: software for low-dimensional topology. http:\/\/regina-normal.github.io\/ (1999\u20132021)"},{"key":"92_CR18","doi-asserted-by":"crossref","unstructured":"Burton, B.A.: Detecting genus in vertex links for the fast enumeration of $$3$$-manifold triangulations. In: ISSAC 2011\u2014Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pp.\u00a059\u201366. ACM, New York (2011)","DOI":"10.1145\/1993886.1993901"},{"key":"92_CR19","unstructured":"Burton, B.A.: tricensus\u2014form a census of triangulations. https:\/\/regina-normal.github.io\/docs\/man-tricensus.html (2013)"},{"key":"92_CR20","doi-asserted-by":"crossref","unstructured":"Burton, B.A.: A new approach to crushing $$3$$-manifold triangulations. Discrete Comput. Geom. 52(1), 116\u2013139 (2014)","DOI":"10.1007\/s00454-014-9572-y"},{"key":"92_CR21","unstructured":"Burton, B.A., Budney, R., Pettersson, W., et al.: Regina: software for low-dimensional topology. http:\/\/regina-normal.github.io\/ (1999\u20132021)"},{"key":"92_CR22","doi-asserted-by":"crossref","unstructured":"Burton, B.A., Lewiner, T., Paixao, J., Spreer, J.: Parameterized complexity of discrete Morse theory. ACM Trans. Math. Softw. (TOMS) 42(1), 1\u201324 (2016)","DOI":"10.1145\/2738034"},{"issue":"4","key":"92_CR23","doi-asserted-by":"publisher","first-page":"25","DOI":"10.37236\/4749","volume":"22","author":"MR Casali","year":"2015","unstructured":"Casali, M.R., Cristofori, P.: Cataloguing PL $$4$$-manifolds by gem-complexity. Electron. J. Combin. 22(4), 25 (2015). (Paper 4.25)","journal-title":"Electron. J. Combin."},{"issue":"1\u20133","key":"92_CR24","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0012-365X(99)00258-7","volume":"217","author":"MK Chari","year":"2000","unstructured":"Chari, M.K.: On discrete Morse functions and combinatorial decompositions. Discrete Math. 217(1\u20133), 101\u2013113 (2000). (Formal Power Series and Algebraic Combinatorics (Vienna, 1997))","journal-title":"Discrete Math."},{"issue":"3","key":"92_CR25","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.apal.2005.12.011","volume":"141","author":"AV Chernavsky","year":"2006","unstructured":"Chernavsky, A.V., Leksine, V.P.: Unrecognizability of manifolds. Ann. Pure Appl. Logic 141(3), 325\u2013335 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"92_CR26","unstructured":"Crowley, K., Ebin, A., Kahn, H., Reyfman, P., White, J., Xue, M.: Collapsing a simplex to a noncollapsible simplicial complex, Preprint, p. 7 (2003)"},{"key":"92_CR27","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1090\/conm\/423\/08074","volume-title":"Graph coloring manifolds, Algebraic and Geometric Combinatorics, Contemporary Mathematics","author":"P Csorba","year":"2006","unstructured":"Csorba, P., Lutz, F.H.: Graph coloring manifolds, Algebraic and Geometric Combinatorics, Contemporary Mathematics, vol. 423, pp. 51\u201369. American Mathematical Society, Providence, RI (2006)"},{"key":"92_CR28","first-page":"177","volume-title":"Computing simplicial homology based on efficient smith normal form algorithms, Algebra, Geometry, and Software Systems","author":"J-G Dumas","year":"2003","unstructured":"Dumas, J.-G., Heckenbach, F., Saunders, D., Welker, V.: Computing simplicial homology based on efficient smith normal form algorithms, Algebra, Geometry, and Software Systems, pp. 177\u2013206. Springer, Berlin (2003)"},{"key":"92_CR29","doi-asserted-by":"publisher","first-page":"241","DOI":"10.6028\/jres.071B.033","volume":"71B","author":"J Edmonds","year":"1967","unstructured":"Edmonds, J.: Systems of distinct representatives and linear algebra. J. Res. Nat. Bur. Stand. Sect. B 71B, 241\u2013245 (1967)","journal-title":"J. Res. Nat. Bur. Stand. Sect. B"},{"issue":"1","key":"92_CR30","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1006\/aima.1997.1650","volume":"134","author":"R Forman","year":"1998","unstructured":"Forman, R.: Morse theory for cell complexes. Adv. Math. 134(1), 90\u2013145 (1998)","journal-title":"Adv. Math."},{"key":"92_CR31","first-page":"35","volume":"48","author":"R Forman","year":"2002","unstructured":"Forman, R.: A user\u2019s guide to discrete Morse theory. S\u00e9m. Lothar. Combin. 48, 35 (2002)","journal-title":"S\u00e9m. Lothar. Combin."},{"issue":"3","key":"92_CR32","doi-asserted-by":"publisher","first-page":"357","DOI":"10.4310\/jdg\/1214437136","volume":"17","author":"MH Freedman","year":"1982","unstructured":"Freedman, M.H.: The topology of four-dimensional manifolds. J. Differ. Geom. 17(3), 357\u2013453 (1982)","journal-title":"J. Differ. Geom."},{"key":"92_CR33","unstructured":"Ganter, B.: Algorithmen zur formalen Begriffsanalyse, Beitr\u00e4ge zur Begriffsanalyse (Bernhard Ganter, Rudolf Wille, and Karl\u00a0Erich Wolff, eds.), Bibliographisches Inst., Mannheim, pp.\u00a0241\u2013254 (1987)"},{"key":"92_CR34","doi-asserted-by":"crossref","unstructured":"Gawrilow, E., Joswig, M.: polymake: a framework for analyzing convex polytopes. In: Polytopes\u2014Combinatorics and Computation (Oberwolfach, 1997: DMV Sem., vol. 29, pp. 43\u201373. Birkh\u00e4user, Basel (2000)","DOI":"10.1007\/978-3-0348-8438-9_2"},{"key":"92_CR35","doi-asserted-by":"crossref","unstructured":"Gompf, R.E.: Killing the Akbulut-Kirby $$4$$-sphere, with relevance to the Andrews\u2013Curtis and Schoenflies problems. Topology 30(1), 97\u2013115 (1991)","DOI":"10.1016\/0040-9383(91)90036-4"},{"issue":"2","key":"92_CR36","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/s00454-018-00055-w","volume":"62","author":"D Gorodkov","year":"2019","unstructured":"Gorodkov, D.: A $$15$$-vertex triangulation of the quaternionic projective plane. Discrete Comput. Geom. 62(2), 348\u2013373 (2019)","journal-title":"Discrete Comput. Geom."},{"issue":"11","key":"92_CR37","doi-asserted-by":"publisher","first-page":"2307","DOI":"10.1016\/j.disc.2006.10.023","volume":"308","author":"M Hachimori","year":"2008","unstructured":"Hachimori, M.: Decompositions of two-dimensional simplicial complexes. Discrete Math. 308(11), 2307\u20132312 (2008)","journal-title":"Discrete Math."},{"key":"92_CR38","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.jsc.2018.06.016","volume":"91","author":"S Hampe","year":"2019","unstructured":"Hampe, S., Joswig, M., Schr\u00f6ter, B.: Algorithms for tight spans and tropical linear spaces. J. Symb. Comput. 91, 116\u2013128 (2019)","journal-title":"J. Symb. Comput."},{"key":"92_CR39","doi-asserted-by":"crossref","unstructured":"Iliopoulos, C.S.: Worst-case complexity bounds on algorithms for computing the canonical structure of finite Abelian groups and the Hermite and Smith normal forms of an integer matrix. SIAM J. Comput. 18(4), 658\u2013669 (1989)","DOI":"10.1137\/0218045"},{"key":"92_CR40","doi-asserted-by":"crossref","unstructured":"Joswig, M., Lutz, F.H., Tsuruga, M.: Heuristic for sphere recognition. In: Mathematical Software\u2014ICMS, Lecture Notes in Computer Science, vol. 8592. Springer, Heidelberg, pp. 152\u2013159 (2014)","DOI":"10.1007\/978-3-662-44199-2_26"},{"issue":"1","key":"92_CR41","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1137\/S0895480104445885","volume":"20","author":"M Joswig","year":"2006","unstructured":"Joswig, M., Pfetsch, M.E.: Computing optimal Morse matchings. SIAM J. Discrete Math. 20(1), 11\u201325 (2006)","journal-title":"SIAM J. Discrete Math."},{"key":"92_CR42","doi-asserted-by":"publisher","unstructured":"Kaluba, M., Lorenz, B., Timme, S.: Polymake.jl: a new interface to polymake. In: Bigatti, A., Carette, J., Davenport, J., Joswig, M., de Wolff, T. (eds.) Mathematical Software - ICMS 2020. ICMS 2020. Lecture Notes in Computer Science, vol 12097, pp. 377\u2013385. Springer, Cham. (2020). https:\/\/doi.org\/10.1007\/978-3-030-52200-1_37","DOI":"10.1007\/978-3-030-52200-1_37"},{"issue":"4","key":"92_CR43","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1137\/0208040","volume":"8","author":"R Kannan","year":"1979","unstructured":"Kannan, R., Bachem, A.: Polynomial algorithms for computing the Smith and Hermite normal forms of an integer matrix. SIAM J. Comput. 8(4), 499\u2013507 (1979)","journal-title":"SIAM J. Comput."},{"key":"92_CR44","doi-asserted-by":"crossref","unstructured":"Lackenby, M.: Algorithms in $$3$$-manifold theory (2020). arXiv:2002.0217","DOI":"10.4310\/SDG.2020.v25.n1.a5"},{"key":"92_CR45","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.aim.2021.107796","volume":"387","author":"M Lackenby","year":"2021","unstructured":"Lackenby, M.: The efficient certification of knottedness and Thurston norm. Adv. Math. 387, 142 (2021). (Paper No. 107796)","journal-title":"Adv. Math."},{"issue":"3","key":"92_CR46","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0925-7721(03)00014-2","volume":"26","author":"T Lewiner","year":"2003","unstructured":"Lewiner, T., Lopes, H., Tavares, G.: Optimal discrete Morse functions for $$2$$-manifolds. Comput. Geom. 26(3), 221\u2013233 (2003)","journal-title":"Comput. Geom."},{"key":"92_CR47","unstructured":"Lofano, D.: Topological types of the $$4$$-manifolds with up to $$6$$ pentachora. https:\/\/github.com\/davelofa\/Census6Pentachora (2021)"},{"key":"92_CR48","doi-asserted-by":"crossref","unstructured":"Lofano, D., Newman, A.: The worst way to collapse a simplex. Isr. J. Math. 1\u201323 (2021)","DOI":"10.1007\/s11856-021-2184-3"},{"key":"92_CR49","unstructured":"Lutz, F.H.: Triangulated manifolds with few vertices and vertex-transitive group actions. Dissertation, Shaker Verlag, Aachen (1999)"},{"issue":"2","key":"92_CR50","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/s00454-013-9529-6","volume":"50","author":"K Mischaikow","year":"2013","unstructured":"Mischaikow, K., Nanda, V.: Morse theory for filtrations and efficient computation of persistent homology. Discrete Comput. Geom. 50(2), 330\u2013353 (2013)","journal-title":"Discrete Comput. Geom."},{"key":"92_CR51","unstructured":"Mischaikow, K., et\u00a0al.: CHomP: computational homology project. http:\/\/chomp.rutgers.edu (2012\u20132021)"},{"key":"92_CR52","unstructured":"Morozov, D.: Dionysus 2. https:\/\/mrzv.org\/software\/dionysus2\/ (2017\u20132021)"},{"key":"92_CR53","unstructured":"Mrozek, M., et\u00a0al.: CAPD::RedHom\u2014simplicical and cubical homology. http:\/\/redhom.ii.uj.edu.pl (2014\u20132021)"},{"key":"92_CR54","unstructured":"Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley Publishing Company, Menlo Park, CA (1984)"},{"key":"92_CR55","unstructured":"Novikov, P.S.: On the algorithmic insolvability of the word problem in group theory. Izdat. Akad. Nauk SSSR, Moscow: Trudy Mat, p. 44. Inst, Steklov. no (1955)"},{"key":"92_CR56","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF02941601","volume":"57","author":"U Pachner","year":"1987","unstructured":"Pachner, U.: Konstruktionsmethoden und das kombinatorische Hom\u00f6omorphieproblem f\u00fcr Triangulationen kompakter semilinearer Mannigfaltigkeiten. Abh. Math. Sem. Univ. Hamburg 57, 69\u201386 (1987)","journal-title":"Abh. Math. Sem. Univ. Hamburg"},{"key":"92_CR57","unstructured":"Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. arXiv:math\/0211159, 39 pages (2002)"},{"issue":"1","key":"92_CR58","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1016\/j.aim.2004.03.006","volume":"191","author":"M Reitzner","year":"2005","unstructured":"Reitzner, M.: The combinatorial structure of random polytopes. Adv. Math. 191(1), 178\u2013208 (2005)","journal-title":"Adv. Math."},{"key":"92_CR59","doi-asserted-by":"crossref","unstructured":"Rubinstein, J.H.: An algorithm to recognize the $$3$$-sphere. In: Proceedings of the International Congress of Mathematicians, vol. 1, 2 (Z\u00fcrich, 1994), pp.\u00a0601\u2013611. Birkh\u00e4user, Basel (1995)","DOI":"10.1007\/978-3-0348-9078-6_54"},{"issue":"1","key":"92_CR60","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10851-007-0048-z","volume":"30","author":"E Saucan","year":"2008","unstructured":"Saucan, E., Appleboim, E., Zeevi, Y.Y.: Sampling and reconstruction of surfaces and higher dimensional manifolds. J. Math. Imaging Vis. 30(1), 105\u2013123 (2008)","journal-title":"J. Math. Imaging Vis."},{"key":"92_CR61","doi-asserted-by":"crossref","unstructured":"Schleimer, S.: Sphere recognition lies in NP. In: Low-Dimensional and Symplectic Topology. Proceedings of Symposia in Pure Mathematics, vol. 82, pp.\u00a0183\u2013213. American Mathematical Society, Providence, RI (2011)","DOI":"10.1090\/pspum\/082\/2768660"},{"key":"92_CR62","volume-title":"Lehrbuch der Topologie","author":"H Seifert","year":"1934","unstructured":"Seifert, H., Threlfall, W.: Lehrbuch der Topologie. B. G. Teubner, Leipzig (1934)"},{"key":"92_CR63","doi-asserted-by":"publisher","first-page":"391","DOI":"10.2307\/1970239","volume":"74","author":"S Smale","year":"1961","unstructured":"Smale, S.: Generalized Poincar\u00e9\u2019s conjecture in dimensions greater than four. Ann. Math. (2) 74, 391\u2013406 (1961)","journal-title":"Ann. Math. (2)"},{"issue":"2","key":"92_CR64","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1080\/10586458.2011.564546","volume":"20","author":"J Spreer","year":"2011","unstructured":"Spreer, J., K\u00fchnel, W.: Combinatorial properties of the $$K3$$ surface: simplicial blowups and slicings. Exp. Math. 20(2), 201\u2013216 (2011)","journal-title":"Exp. Math."},{"issue":"8","key":"92_CR65","doi-asserted-by":"publisher","first-page":"1965","DOI":"10.1016\/j.ejc.2008.12.016","volume":"30","author":"T Sulanke","year":"2009","unstructured":"Sulanke, T., Lutz, F.H.: Isomorphism-free lexicographic enumeration of triangulated surfaces and $$3$$-manifolds. Eur. J. Combin. 30(8), 1965\u20131979 (2009)","journal-title":"Eur. J. Combin."},{"key":"92_CR66","doi-asserted-by":"crossref","unstructured":"The GAP\u00a0Group: GAP\u2014Groups, Algorithms, and Programming, Version 4.10.1 (2019)","DOI":"10.1093\/oso\/9780190867522.003.0002"},{"issue":"5","key":"92_CR67","doi-asserted-by":"publisher","first-page":"613","DOI":"10.4310\/MRL.1994.v1.n5.a9","volume":"1","author":"A Thompson","year":"1994","unstructured":"Thompson, A.: Thin position and the recognition problem for $$S^3$$. Math. Res. Lett. 1(5), 613\u2013630 (1994)","journal-title":"Math. Res. Lett."},{"key":"92_CR68","first-page":"29","volume":"2013","author":"M Tsuruga","year":"2013","unstructured":"Tsuruga, M., Lutz, F.H.: Constructing complicated spheres. EuroCG 2013, 29\u201332 (2013)","journal-title":"EuroCG"},{"issue":"5","key":"92_CR69","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1070\/RM1974v029n05ABEH001296","volume":"29","author":"IA Volodin","year":"1974","unstructured":"Volodin, I.A., Kuznetsov, V.E., Fomenko, A.T.A.T.: The problem of discriminating algorithmically the standard three-dimensional sphere. Russ. Math. Surv. 29(5), 71\u2013172 (1974)","journal-title":"Russ. Math. Surv."},{"issue":"4","key":"92_CR70","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1112\/plms\/s2-45.1.243","volume":"45","author":"JHC Whitehead","year":"1939","unstructured":"Whitehead, J.H.C.: Simplicial spaces, nuclei and $$m$$-groups. Proc. Lond. Math. Soc. (2) 45(4), 243\u2013327 (1939)","journal-title":"Proc. Lond. Math. Soc. (2)"},{"key":"92_CR71","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0040-9383(63)90014-4","volume":"2","author":"EC Zeeman","year":"1964","unstructured":"Zeeman, E.C.: On the dunce hat. Topology 2, 341\u2013358 (1964)","journal-title":"Topology"}],"container-title":["Journal of Applied and Computational Topology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-022-00092-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s41468-022-00092-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s41468-022-00092-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T09:52:50Z","timestamp":1665741170000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s41468-022-00092-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,19]]},"references-count":71,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["92"],"URL":"https:\/\/doi.org\/10.1007\/s41468-022-00092-8","relation":{},"ISSN":["2367-1726","2367-1734"],"issn-type":[{"value":"2367-1726","type":"print"},{"value":"2367-1734","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,5,19]]},"assertion":[{"value":"26 August 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 January 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 March 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 May 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interests"}}]}}