{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:23:31Z","timestamp":1725798211119},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_26","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T22:17:11Z","timestamp":1406845031000},"page":"152-159","source":"Crossref","is-referenced-by-count":3,"title":["Heuristics for Sphere Recognition"],"prefix":"10.1007","author":[{"given":"Michael","family":"Joswig","sequence":"first","affiliation":[]},{"given":"Frank H.","family":"Lutz","sequence":"additional","affiliation":[]},{"given":"Mimi","family":"Tsuruga","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Adiprasito, K., Benedetti, B., Lutz, F.H.: Extremal examples of collapsible complexes and random discrete morse theory. arXiv:1404.4239, 20 pages (2014)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Benedetti, B., Lutz, F.H.: Knots in collapsible and non-collapsible balls. Electron. J. Comb.\u00a020(3), Research Paper P31, 29 p. (2013)","DOI":"10.37236\/3319"},{"key":"26_CR3","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.\u00a023, 66\u201394 (2014)","journal-title":"Exp. Math."},{"key":"26_CR4","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.\u00a0206, 205\u2013243 (2011)","journal-title":"Acta Math."},{"key":"26_CR5","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.\u00a09, 275\u2013289 (2000)","journal-title":"Exp. Math."},{"key":"26_CR6","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.\u00a0294, 167\u2013193 (1992)","journal-title":"Math. Ann."},{"key":"26_CR7","unstructured":"Burton, B.A.: Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations. arXiv:1110.6080, 39 pages (2011)"},{"key":"26_CR8","unstructured":"Burton, B.A.: Regina: A normal surface theory calculator, version 4.95 (1999-2013), http:\/\/regina.sourceforge.net"},{"key":"26_CR9","unstructured":"CAPD::RedHom. Redhom software library, http:\/\/redhom.ii.uj.edu.pl"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.apal.2005.12.011","volume":"141","author":"A.V. Chernavsky","year":"2006","unstructured":"Chernavsky, A.V., Leksine, V.P.: Unrecognizability of manifolds. Ann. Pure Appl. Logic\u00a0141, 325\u2013335 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"26_CR11","unstructured":"CHomP. Computational Homology Project, http:\/\/chomp.rutgers.edu"},{"key":"26_CR12","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.\u00a0134, 90\u2013145 (1998)","journal-title":"Adv. Math."},{"key":"26_CR13","unstructured":"Forman, R.: A user\u2019s guide to discrete Morse theory. S\u00e9min. Lothar. Comb\u00a048(B48c), 35 p., electronic only. (2002)"},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"357","DOI":"10.4310\/jdg\/1214437136","volume":"17","author":"M.H. Freedman","year":"1982","unstructured":"Freedman, M.H.: The topology of four-dimensional manifolds. J. Differ. Geom.\u00a017, 357\u2013453 (1982)","journal-title":"J. Differ. Geom."},{"key":"26_CR15","series-title":"DMV Sem.","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-0348-8438-9_2","volume-title":"Polytopes\u2014Combinatorics and Computation (Oberwolfach, 1997)","author":"E. Gawrilow","year":"2000","unstructured":"Gawrilow, E., Joswig, M.: Polymake: a framework for analyzing convex polytopes. In: Polytopes\u2014Combinatorics and Computation (Oberwolfach, 1997). DMV Sem., vol.\u00a029, pp. 43\u201373. Birkh\u00e4user, Basel (2000)"},{"key":"26_CR16","unstructured":"Joswig, M.: Computing invariants of simplicial manifolds, preprint arXiv:math\/0401176 (2004)"},{"key":"26_CR17","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.\u00a020, 11\u201325 (2006)","journal-title":"SIAM J. Discrete Math."},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0925-7721(02)00103-7","volume":"23","author":"V. Kaibel","year":"2002","unstructured":"Kaibel, V., Pfetsch, M.E.: Computing the face lattice of a polytope from its vertex-facet incidences. Comput. Geom.\u00a023, 281\u2013290 (2002)","journal-title":"Comput. Geom."},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"4519","DOI":"10.1090\/S0002-9947-04-03465-8","volume":"356","author":"S.A. King","year":"2004","unstructured":"King, S.A.: How to make a triangulation of S 3 polytopal. Trans. Am. Math. Soc.\u00a0356, 4519\u20134542 (2004)","journal-title":"Trans. Am. Math. Soc."},{"key":"26_CR20","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.\u00a026, 221\u2013233 (2003)","journal-title":"Comput. Geom."},{"key":"26_CR21","unstructured":"Matveev, S.V.: An algorithm for the recognition of 3-spheres (according to Thompson). Sb. Math.\u00a0186, 695\u2013710 (1995), Translation from Mat. Sb. 186, 69\u201384 (1995)"},{"key":"26_CR22","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.\u00a0208, 291\u2013324 (2003)","journal-title":"Pac. J. Math."},{"key":"26_CR23","volume-title":"Elements of Algebraic Topology","author":"J.R. Munkres","year":"1984","unstructured":"Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley Publishing Company, Menlo Park (1984)"},{"key":"26_CR24","series-title":"Trudy Matematicheskogo Instituta imeni V.\u00a0A.\u00a0Steklova","volume-title":"On the algorithmic unsolvability of the word problem in group theory","author":"P.S. Novikov","year":"1955","unstructured":"Novikov, P.S.: On the algorithmic unsolvability of the word problem in group theory. Trudy Matematicheskogo Instituta imeni V.\u00a0A.\u00a0Steklova, vol.\u00a044. Izdatel\u2019stvo Akademii Nauk SSSR, Moscow (1955)"},{"key":"26_CR25","unstructured":"Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG\/0211159, 39 pages (2002)"},{"key":"26_CR26","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1007\/978-3-0348-9078-6_54","volume-title":"Proc. Internat. Congr. of Mathematicians, ICM 1994","author":"J.H. Rubinstein","year":"1995","unstructured":"Rubinstein, J.H.: An algorithm to recognize the 3-sphere. In: Chatterji, S.D. (ed.) Proc. Internat. Congr. of Mathematicians, ICM 1994, Z\u00fcrich, vol.\u00a01, pp. 601\u2013611. Birkh\u00e4user Verlag, Basel (1995)"},{"issue":"1","key":"26_CR27","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 Vision\u00a030(1), 105\u2013123 (2008)","journal-title":"J. Math. Imaging Vision"},{"key":"26_CR28","volume-title":"Lehrbuch der Topologie","author":"H. Seifert","year":"1934","unstructured":"Seifert, H., Threlfall, W.: Lehrbuch der Topologie. B. G. Teubner, Leipzig (1934)"},{"key":"26_CR29","doi-asserted-by":"publisher","first-page":"387","DOI":"10.2307\/2372978","volume":"84","author":"S. Smale","year":"1962","unstructured":"Smale, S.: On the structure of manifolds. Am. J. Math.\u00a084, 387\u2013399 (1962)","journal-title":"Am. J. Math."},{"key":"26_CR30","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.\u00a020, 201\u2013216 (2011)","journal-title":"Exp. Math."},{"key":"26_CR31","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. Comb.\u00a030, 1965\u20131979 (2009)","journal-title":"Eur. J. Comb."},{"key":"26_CR32","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.\u00a01, 613\u2013630 (1994)","journal-title":"Math. Res. Lett."},{"key":"26_CR33","unstructured":"Tsuruga, M., Lutz, F.H.: Constructing complicated spheres. arXiv:1302.6856, EuroCG 2013, 4 pages (2013)"},{"issue":"5","key":"26_CR34","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1070\/RM1974v029n05ABEH001296","volume":"29","author":"I.A. Volodin","year":"1974","unstructured":"Volodin, I.A., Kuznetsov, V.E., Fomenko, A.T.: The problem of discriminating algorithmically the standard three-dimensional sphere. Russ. Math. Surv.\u00a029(5), 71\u2013172 (1974)","journal-title":"Russ. Math. Surv."},{"key":"26_CR35","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1112\/plms\/s2-45.1.243","volume":"45","author":"J.H.C. Whitehead","year":"1939","unstructured":"Whitehead, J.H.C.: Simplicial spaces, nuclei and m-groups. Proc. Lond. Math. Soc., II. Ser.\u00a045, 243\u2013327 (1939)","journal-title":"Proc. Lond. Math. Soc., II. Ser."}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T20:34:58Z","timestamp":1598128498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}