{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T16:05:10Z","timestamp":1750694710617,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,1]],"date-time":"2013-06-01T00:00:00Z","timestamp":1370044800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1145\/2488608.2488683","type":"proceedings-article","created":{"date-parts":[[2013,5,28]],"date-time":"2013-05-28T16:35:41Z","timestamp":1369758941000},"page":"595-604","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Extending continuous maps"],"prefix":"10.1145","author":[{"given":"Martin","family":"Cadek","sequence":"first","affiliation":[{"name":"Masaryk University, Brno, Czech Rep"}]},{"given":"Marek","family":"Krcal","sequence":"additional","affiliation":[{"name":"Charles University, Prague, Czech Rep"}]},{"given":"Jiri","family":"Matousek","sequence":"additional","affiliation":[{"name":"Charles University, Prague, Czech Rep"}]},{"given":"Lukas","family":"Vokrinek","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Rep"}]},{"given":"Uli","family":"Wagner","sequence":"additional","affiliation":[{"name":"Institute of Science and Technology, Klosterneuburg, Austria"}]}],"member":"320","published-online":{"date-parts":[[2013,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. Conf., Chicago\/Ill. 1986","author":"Anick D. J.","year":"1989","unstructured":"D. J. Anick . The computation of rational homotopy groups is #wp-hard. Computers in geometry and topology , Proc. Conf., Chicago\/Ill. 1986 , Lect. Notes Pure Appl. Math. 114, 1--56 , 1989 . D. J. Anick. The computation of rational homotopy groups is #wp-hard. Computers in geometry and topology, Proc. Conf., Chicago\/Ill. 1986, Lect. Notes Pure Appl. Math. 114, 1--56, 1989."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/1969664"},{"key":"e_1_3_2_1_3_1","volume-title":"ACM--SIAM Symposium on Discrete Algorithms (SODA","author":"Krc\u00e1l M.","year":"2012","unstructured":"M.vCadek, M. Krc\u00e1l , J. Matou\\vsek, F. Sergeraert , L. Vokr\u0131nek , and U. Wagner . Computing all maps into a sphere. Preprint, arXiv\/1105.6257, 2011. Extended abstract in phProc . ACM--SIAM Symposium on Discrete Algorithms (SODA 2012 ). M.vCadek, M. Krc\u00e1l, J. Matou\\vsek, F. Sergeraert, L. Vokr\u0131nek, and U. Wagner. Computing all maps into a sphere. Preprint, arXiv\/1105.6257, 2011. Extended abstract in phProc. ACM--SIAM Symposium on Discrete Algorithms (SODA 2012)."},{"key":"e_1_3_2_1_4_1","volume-title":"Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension. Preprint, arXiv:1211.3093","author":"Krc\u00e1l M.","year":"2012","unstructured":"M.vCadek, M. Krc\u00e1l , J. Matousek , L. Vokr\u0131nek , and U. Wagner . Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension. Preprint, arXiv:1211.3093 , 2012 . M.vCadek, M. Krc\u00e1l, J. Matousek, L. Vokr\u0131nek, and U. Wagner. Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension. Preprint, arXiv:1211.3093, 2012."},{"key":"e_1_3_2_1_5_1","volume-title":"Extendability of continuous maps is undecidable. Preprint, arXiv:1302.2370","author":"Krc\u00e1l M.","year":"2013","unstructured":"M.vCadek, M. Krc\u00e1l , J. Matousek , L. Vokr\u0131nek , and U. Wagner . Extendability of continuous maps is undecidable. Preprint, arXiv:1302.2370 , 2013 . M.vCadek, M. Krc\u00e1l, J. Matousek, L. Vokr\u0131nek, and U. Wagner. Extendability of continuous maps is undecidable. Preprint, arXiv:1302.2370, 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/aima.1997.1650"},{"key":"e_1_3_2_1_7_1","volume-title":"An elementary illustrated introduction to simplicial sets. Rocky Mountain J. Math., to appear. Preprint arXiv:math\/0809.4221v3","author":"Friedman G.","year":"2011","unstructured":"G. Friedman . An elementary illustrated introduction to simplicial sets. Rocky Mountain J. Math., to appear. Preprint arXiv:math\/0809.4221v3 , 2011 . G. Friedman. An elementary illustrated introduction to simplicial sets. Rocky Mountain J. Math., to appear. Preprint arXiv:math\/0809.4221v3, 2011."},{"key":"e_1_3_2_1_8_1","volume-title":"Cambridge","author":"Hatcher A.","year":"2001","unstructured":"A. Hatcher . Algebraic Topology . Cambridge University Press , Cambridge , 2001 . Electronic version available at http:\/\/math.cornell.edu\/hatcher#AT1. A. Hatcher. Algebraic Topology. Cambridge University Press, Cambridge, 2001. Electronic version available at http:\/\/math.cornell.edu\/hatcher#AT1."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s1-30.2.154"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/0208040"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Mathematics 1423","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0083795","volume-title":"Stable homotopy groups of spheres. A computer-assisted approach","author":"Kochman S. O.","year":"1990","unstructured":"S. O. Kochman . Stable homotopy groups of spheres. A computer-assisted approach . Lecture Notes in Mathematics 1423 . Springer-Verlag , Berlin etc., 1990 . S. O. Kochman. Stable homotopy groups of spheres. A computer-assisted approach. Lecture Notes in Mathematics 1423. Springer-Verlag, Berlin etc., 1990."},{"key":"e_1_3_2_1_12_1","volume-title":"Polynomial-time homology for simplicial Eilenberg--MacLane spaces. Preprint, arXiv\/1201.6222","author":"Krc\u00e1l M.","year":"2011","unstructured":"M. Krc\u00e1l , J. Matousek , and F. Sergeraert . Polynomial-time homology for simplicial Eilenberg--MacLane spaces. Preprint, arXiv\/1201.6222 , 2011 . M. Krc\u00e1l, J. Matousek, and F. Sergeraert. Polynomial-time homology for simplicial Eilenberg--MacLane spaces. Preprint, arXiv\/1201.6222, 2011."},{"key":"e_1_3_2_1_13_1","volume-title":"Using the Borsuk-Ulam theorem (revised 2nd printing). Universitext","author":"J.","year":"2007","unstructured":"J. Matou\\vsek. Using the Borsuk-Ulam theorem (revised 2nd printing). Universitext . Springer-Verlag , Berlin , 2007 . J. Matou\\vsek. Using the Borsuk-Ulam theorem (revised 2nd printing). Universitext. Springer-Verlag, Berlin, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4171\/JEMS\/252"},{"key":"e_1_3_2_1_15_1","volume-title":"Chicago Lectures in Mathematics","author":"May J. P.","year":"1992","unstructured":"J. P. May . Simplicial objects in algebraic topology. Chicago Lectures in Mathematics . University of Chicago Press , Chicago, IL , 1992 . Reprint of the 1967 original; the page numbers do not quite agree with the 1967 edition. J. P. May. Simplicial objects in algebraic topology. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1992. Reprint of the 1967 original; the page numbers do not quite agree with the 1967 edition."},{"key":"e_1_3_2_1_16_1","volume-title":"Addison-Wesley","author":"Munkres J. R.","year":"1984","unstructured":"J. R. Munkres . Elements of Algebraic Topology . Addison-Wesley , Reading, MA , 1984 . J. R. Munkres. Elements of Algebraic Topology. Addison-Wesley, Reading, MA, 1984."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02566428"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/231\/03363"},{"key":"e_1_3_2_1_19_1","volume-title":"Complex Cobordism and Stable Homotopy Groups of Spheres","author":"Ravenel D. C.","year":"2004","unstructured":"D. C. Ravenel . Complex Cobordism and Stable Homotopy Groups of Spheres ( 2 nd ed.). Amer. Math. Soc ., 2004 . D. C. Ravenel. Complex Cobordism and Stable Homotopy Groups of Spheres (2nd ed.). Amer. Math. Soc., 2004.","edition":"2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(96)00021-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.06.002"},{"key":"e_1_3_2_1_22_1","volume-title":"Discrete vector fields and fundamental algebraic topology. Preprint arXiv:1005.5685, an updated version at http:\/\/www-fourier.ujf-grenoble.fr\/ sergerar\/Papers\/","author":"Romero A.","year":"2011","unstructured":"A. Romero and F. Sergeraert . Discrete vector fields and fundamental algebraic topology. Preprint arXiv:1005.5685, an updated version at http:\/\/www-fourier.ujf-grenoble.fr\/ sergerar\/Papers\/ , 2011 . A. Romero and F. Sergeraert. Discrete vector fields and fundamental algebraic topology. Preprint arXiv:1005.5685, an updated version at http:\/\/www-fourier.ujf-grenoble.fr\/ sergerar\/Papers\/, 2011."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-4497(02)01119-3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4310\/HHA.2005.v7.n2.a8"},{"key":"e_1_3_2_1_25_1","volume-title":"Constructive homological algebra and applications. Preprint, arXiv:1208.3816","author":"Rubio J.","year":"2012","unstructured":"J. Rubio and F. Sergeraert . Constructive homological algebra and applications. Preprint, arXiv:1208.3816 , 2012 . Written in 2006 for a MAP Summer School at the University of Genova . J. Rubio and F. Sergeraert. Constructive homological algebra and applications. Preprint, arXiv:1208.3816, 2012. Written in 2006 for a MAP Summer School at the University of Genova."},{"key":"e_1_3_2_1_26_1","volume-title":"Effective algebraic topology. Mem. Am. Math. Soc., 451:63 p","author":"Sch\u00f6n R.","year":"1991","unstructured":"R. Sch\u00f6n . Effective algebraic topology. Mem. Am. Math. Soc., 451:63 p ., 1991 . R. Sch\u00f6n. Effective algebraic topology. Mem. Am. Math. Soc., 451:63 p., 1991."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/aima.1994.1018"},{"key":"e_1_3_2_1_28_1","volume-title":"Introduction to combinatorial homotopy theory.","author":"Sergeraert F.","year":"2008","unstructured":"F. Sergeraert . Introduction to combinatorial homotopy theory. Available at http:\/\/www-fourier.ujf-grenoble.fr\/ sergerar\/Papers\/, 2008 . F. Sergeraert. Introduction to combinatorial homotopy theory. Available at http:\/\/www-fourier.ujf-grenoble.fr\/ sergerar\/Papers\/, 2008."},{"key":"e_1_3_2_1_29_1","series-title":"London Math","first-page":"248","volume-title":"Surveys in contemporary mathematics","author":"Skopenkov A. B.","year":"2008","unstructured":"A. B. Skopenkov . Embedding and knotting of manifolds in Euclidean spaces . In Surveys in contemporary mathematics , volume 347 of London Math . Soc. Lecture Note Ser., pages 248 -- 342 . Cambridge Univ. Press , Cambridge, 2008 . A. B. Skopenkov. Embedding and knotting of manifolds in Euclidean spaces. In Surveys in contemporary mathematics, volume 347 of London Math. Soc. Lecture Note Ser., pages 248--342. Cambridge Univ. Press, Cambridge, 2008."},{"key":"e_1_3_2_1_30_1","volume-title":"m-Structures determine integral homotopy type. Preprint, arXiv:math\/9809151v1","author":"Smith J. R.","year":"1998","unstructured":"J. R. Smith . m-Structures determine integral homotopy type. Preprint, arXiv:math\/9809151v1 , 1998 . J. R. Smith. m-Structures determine integral homotopy type. Preprint, arXiv:math\/9809151v1, 1998."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1102083758"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(72)90004-7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/236869.237084"}],"event":{"name":"STOC'13: Symposium on Theory of Computing","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Palo Alto California USA","acronym":"STOC'13"},"container-title":["Proceedings of the forty-fifth annual ACM symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2488608.2488683","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2488608.2488683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:20Z","timestamp":1750235960000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2488608.2488683"}},"subtitle":["polynomiality and undecidability"],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":33,"alternative-id":["10.1145\/2488608.2488683","10.1145\/2488608"],"URL":"https:\/\/doi.org\/10.1145\/2488608.2488683","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]},"assertion":[{"value":"2013-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}