{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,21]],"date-time":"2024-09-21T11:53:47Z","timestamp":1726919627852},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,11,8]],"date-time":"2013-11-08T00:00:00Z","timestamp":1383868800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Comput Geom"],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1007\/s00454-013-9551-8","type":"journal-article","created":{"date-parts":[[2013,11,7]],"date-time":"2013-11-07T14:48:25Z","timestamp":1383835705000},"page":"24-66","source":"Crossref","is-referenced-by-count":18,"title":["Extendability of Continuous Maps Is Undecidable"],"prefix":"10.1007","volume":"51","author":[{"given":"Martin","family":"\u010cadek","sequence":"first","affiliation":[]},{"given":"Marek","family":"Kr\u010d\u00e1l","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Matou\u0161ek","sequence":"additional","affiliation":[]},{"given":"Luk\u00e1\u0161","family":"Vok\u0159\u00ednek","sequence":"additional","affiliation":[]},{"given":"Uli","family":"Wagner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,8]]},"reference":[{"issue":"7","key":"9551_CR1","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1073\/pnas.42.7.409","volume":"42","author":"J.F. Adams","year":"1956","unstructured":"Adams, J.F.: On the cobar construction. Proc. Natl. Acad. Sci. USA 42(7), 409 (1956)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"9551_CR2","series-title":"Lect. Notes Pure Appl. Math.","first-page":"1","volume-title":"Computers in Geometry and Topology","author":"D.J. Anick","year":"1989","unstructured":"Anick, D.J.: The computation of rational homotopy groups is #\u2118-hard. In: Computers in Geometry and Topology, Proc. Conf., Chicago, IL, 1986. Lect. Notes Pure Appl. Math., vol.\u00a0114, pp.\u00a01\u201356 (1989)"},{"key":"9551_CR3","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6848-0","volume-title":"Topology and Geometry","author":"G. Bredon","year":"1993","unstructured":"Bredon, G.: Topology and Geometry. Graduate Texts in Mathematics, vol.\u00a0139. Springer, Berlin (1993)"},{"key":"9551_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1969664","volume":"65","author":"E.H. Brown Jr.","year":"1957","unstructured":"Brown, E.H. Jr.: Finite computability of Postnikov complexes. Ann. Math. (2) 65, 1\u201320 (1957)","journal-title":"Ann. Math. (2)"},{"key":"9551_CR5","doi-asserted-by":"crossref","unstructured":"\u010cadek, M., Kr\u010d\u00e1l, M., Matou\u0161ek, J., Sergeraert, F., Vok\u0159\u00ednek, L., Wagner, U.: Computing all maps into a sphere. arXiv:1105.6257 (2011). Extended abstract in Proc. ACM\u2013SIAM Symposium on Discrete Algorithms (SODA 2012)","DOI":"10.1137\/1.9781611973099.1"},{"key":"9551_CR6","unstructured":"\u010cadek, M., Kr\u010d\u00e1l, M., Matou\u0161ek, J., Vok\u0159\u00ednek, L., Wagner, U.: Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension. arXiv:1211.3093 (2012)"},{"key":"9551_CR7","series-title":"Cambridge Studies in Advanced Mathematics","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511983948","volume-title":"Cellular Structures in Topology","author":"R. Fritsch","year":"1990","unstructured":"Fritsch, R., Piccinini, R.A.: Cellular Structures in Topology. Cambridge Studies in Advanced Mathematics, vol.\u00a019. Cambridge University Press, Cambridge (1990)"},{"issue":"2","key":"9551_CR8","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1216\/RMJ-2012-42-2-353","volume":"42","author":"G. Friedman","year":"2012","unstructured":"Friedman, G.: An elementary illustrated introduction to simplicial sets. Rocky Mt. J. Math. 42(2), 353\u2013423 (2012)","journal-title":"Rocky Mt. J. Math."},{"key":"9551_CR9","volume-title":"Algebraic Topology","author":"A. Hatcher","year":"2001","unstructured":"Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2001). Electronic version available at http:\/\/math.cornell.edu\/hatcher#AT1"},{"key":"9551_CR10","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1112\/jlms\/s1-30.2.154","volume":"3","author":"J.P. Hilton","year":"1955","unstructured":"Hilton, J.P.: On the homotopy groups of union of spheres. J. Lond. Math. Soc. 3, 154\u2013172 (1955)","journal-title":"J. Lond. Math. Soc."},{"issue":"2","key":"9551_CR11","first-page":"34","volume":"12","author":"J.F. Jardine","year":"2004","unstructured":"Jardine, J.F.: Simplicial approximation. Theory Appl. Categ. 12(2), 34\u201372 (2004)","journal-title":"Theory Appl. Categ."},{"key":"9551_CR12","unstructured":"Kr\u010d\u00e1l, M., Matou\u0161ek, J., Sergeraert, F.: Polynomial-time homology for simplicial Eilenberg\u2013MacLane spaces. arXiv:1201.6222 (2011). J.\u00a0Found. Comput. Math. (to appear)"},{"key":"9551_CR13","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0083795","volume-title":"Stable Homotopy Groups of Spheres. A Computer-Assisted Approach","author":"S.O. Kochman","year":"1990","unstructured":"Kochman, S.O.: Stable Homotopy Groups of Spheres. A Computer-Assisted Approach. Lecture Notes in Mathematics, vol.\u00a01423. Springer, Berlin (1990)"},{"key":"9551_CR14","first-page":"279","volume":"191","author":"Yu. Matiyasevich","year":"1970","unstructured":"Matiyasevich, Yu.: The Diophantineness of enumerable sets. Dokl. Akad. Nauk SSSR 191, 279\u2013282 (1970)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"9551_CR15","series-title":"Foundations of Computing Series","volume-title":"Hilbert\u2019s Tenth Problem","author":"Y.V. Matiyasevich","year":"1993","unstructured":"Matiyasevich, Y.V.: Hilbert\u2019s Tenth Problem. Foundations of Computing Series. MIT Press, Cambridge (1993). Translated from the 1993 Russian original by the author, with a foreword by Martin Davis"},{"key":"9551_CR16","series-title":"Chicago Lectures in Mathematics","volume-title":"Simplicial Objects in Algebraic Topology","author":"J.P. May","year":"1992","unstructured":"May, J.P.: Simplicial Objects in Algebraic Topology. Chicago Lectures in Mathematics. University of Chicago Press, Chicago (1992). Reprint of the 1967 original; the page numbers do not quite agree with the 1967 edition"},{"issue":"2","key":"9551_CR17","doi-asserted-by":"crossref","first-page":"353","DOI":"10.2307\/2275395","volume":"59","author":"B. Mazur","year":"1994","unstructured":"Mazur, B.: Questions of decidability and undecidability in number theory. J. Symb. Log. 59(2), 353\u2013371 (1994)","journal-title":"J. Symb. Log."},{"key":"9551_CR18","volume-title":"Elements of Algebraic Topology","author":"J.R. Munkres","year":"1984","unstructured":"Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley, Reading (1984)"},{"key":"9551_CR19","first-page":"1","volume":"44","author":"P.S. Novikov","year":"1955","unstructured":"Novikov, P.S.: Ob algoritmi\u010desko\u012d nerazre\u0161imosti problemy to\u017edestva slov v teorii grupp (On the algorithmic unsolvability of the word problem in group theory). Tr. Mat. Inst. Steklova 44, 1\u2013143 (1955)","journal-title":"Tr. Mat. Inst. Steklova"},{"issue":"3","key":"9551_CR20","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/BF02566428","volume":"71","author":"A. Nabutovsky","year":"1996","unstructured":"Nabutovsky, A., Weinberger, S.: Algorithmic unsolvability of the triviality problem for multidimensional knots. Comment. Math. Helv. 71(3), 426\u2013434 (1996)","journal-title":"Comment. Math. Helv."},{"key":"9551_CR21","series-title":"Contemp. Math.","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1090\/conm\/231\/03363","volume-title":"Tel Aviv Topology Conference: Rothenberg Festschrift (1998)","author":"A. Nabutovsky","year":"1999","unstructured":"Nabutovsky, A., Weinberger, S.: Algorithmic aspects of homeomorphism problems. In: Tel Aviv Topology Conference: Rothenberg Festschrift (1998). Contemp. Math., vol.\u00a0231, pp.\u00a0245\u2013250. Amer. Math. Soc., Providence (1999)"},{"key":"9551_CR22","volume-title":"Complex Cobordism and Stable Homotopy Groups of Spheres","author":"D.C. Ravenel","year":"2004","unstructured":"Ravenel, D.C.: Complex Cobordism and Stable Homotopy Groups of Spheres, 2nd edn. Am. Math. Soc., Providence (2004)","edition":"2"},{"key":"9551_CR23","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1016\/S0378-4754(96)00021-3","volume":"42","author":"P. Real","year":"1996","unstructured":"Real, P.: An algorithm computing homotopy groups. Math. Comput. Simul. 42, 461\u2013465 (1996)","journal-title":"Math. Comput. Simul."},{"issue":"10","key":"9551_CR24","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1016\/j.jsc.2006.06.002","volume":"41","author":"A. Romero","year":"2006","unstructured":"Romero, A., Rubio, J., Sergeraert, F.: Computing spectral sequences. J.\u00a0Symb. Comput. 41(10), 1059\u20131079 (2006)","journal-title":"J.\u00a0Symb. Comput."},{"issue":"5","key":"9551_CR25","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0007-4497(02)01119-3","volume":"126","author":"J. Rubio","year":"2002","unstructured":"Rubio, J., Sergeraert, F.: Constructive algebraic topology. Bull. Sci. Math. 126(5), 389\u2013412 (2002)","journal-title":"Bull. Sci. Math."},{"key":"9551_CR26","doi-asserted-by":"crossref","first-page":"139","DOI":"10.4310\/HHA.2005.v7.n2.a8","volume":"17","author":"J. Rubio","year":"2005","unstructured":"Rubio, J., Sergeraert, F.: Algebraic models for homotopy types. Homol. Homotopy Appl. 17, 139\u2013160 (2005)","journal-title":"Homol. Homotopy Appl."},{"key":"9551_CR27","unstructured":"Rubio, J., Sergeraert, F.: Constructive homological algebra and applications. arXiv:1208.3816 (2012). Written in 2006 for a MAP Summer School at the University of Genova"},{"key":"9551_CR28","first-page":"63","volume":"451","author":"R. Sch\u00f6n","year":"1991","unstructured":"Sch\u00f6n, R.: Effective algebraic topology. Mem. Am. Math. Soc. 451, 63 (1991)","journal-title":"Mem. Am. Math. Soc."},{"issue":"1","key":"9551_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/aima.1994.1018","volume":"104","author":"F. Sergeraert","year":"1994","unstructured":"Sergeraert, F.: The computability problem in algebraic topology. Adv. Math. 104(1), 1\u201329 (1994)","journal-title":"Adv. Math."},{"key":"9551_CR30","unstructured":"Smith, J.R.: m-Structures determine integral homotopy type. arXiv:math\/9809151v1 (1998)"},{"issue":"4","key":"9551_CR31","doi-asserted-by":"crossref","first-page":"457","DOI":"10.2178\/bsl\/1102083758","volume":"10","author":"R.I. Soare","year":"2004","unstructured":"Soare, R.I.: Computability theory and differential geometry. Bull. Symb. Log. 10(4), 457\u2013486 (2004)","journal-title":"Bull. Symb. Log."},{"key":"9551_CR32","volume-title":"Algebraic Topology","author":"E.H. Spanier","year":"1966","unstructured":"Spanier, E.H.: Algebraic Topology. McGraw-Hill, New York (1966)"},{"key":"9551_CR33","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0001-8708(72)90004-7","volume":"8","author":"N.E. Steenrod","year":"1972","unstructured":"Steenrod, N.E.: Cohomology operations, and obstructions to extending continuous functions. Adv. Math. 8, 371\u2013416 (1972)","journal-title":"Adv. Math."},{"key":"9551_CR34","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6318-0","volume-title":"Elements of Homotopy Theory","author":"G.W. Whitehead","year":"1978","unstructured":"Whitehead, G.W.: Elements of Homotopy Theory. Graduate Texts in Mathematics, vol.\u00a061. Springer, New York (1978)"}],"container-title":["Discrete & Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-013-9551-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00454-013-9551-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-013-9551-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T04:28:58Z","timestamp":1564633738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00454-013-9551-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,8]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["9551"],"URL":"https:\/\/doi.org\/10.1007\/s00454-013-9551-8","relation":{},"ISSN":["0179-5376","1432-0444"],"issn-type":[{"value":"0179-5376","type":"print"},{"value":"1432-0444","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,8]]}}}