{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:01:09Z","timestamp":1760061669531},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2013,5,30]],"date-time":"2013-05-30T00:00:00Z","timestamp":1369872000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s10208-013-9159-7","type":"journal-article","created":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T15:13:50Z","timestamp":1369840430000},"page":"935-963","source":"Crossref","is-referenced-by-count":10,"title":["Polynomial-Time Homology for Simplicial Eilenberg\u2013MacLane Spaces"],"prefix":"10.1007","volume":"13","author":[{"given":"Marek","family":"Kr\u010d\u00e1l","sequence":"first","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Matou\u0161ek","sequence":"additional","affiliation":[]},{"given":"Francis","family":"Sergeraert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,30]]},"reference":[{"key":"9159_CR1","series-title":"Lect. Notes Pure Appl. Math.","first-page":"1","volume-title":"Computers in Geometry and Topology","author":"D.J. Anick","year":"1989","unstructured":"D.J. Anick, The computation of rational homotopy groups is #\u2118-hard, in Computers in Geometry and Topology, Proc. Conf. Chicago\/Ill., 1986. Lect. Notes Pure Appl. Math., vol.\u00a0114 (1989), pp. 1\u201356."},{"key":"9159_CR2","unstructured":"M. \u010cadek, M. Kr\u010d\u00e1l, J. Matou\u0161ek, F. Sergeraert, L. Vok\u0159\u00ednek, U. Wagner, Computing all maps into a sphere. Preprint arXiv:1105.6257 (2011). Extended abstract in Proc. ACM\u2013SIAM Symposium on Discrete Algorithms (SODA 2012)."},{"key":"9159_CR3","unstructured":"M. \u010cadek, M. Kr\u010d\u00e1l, J. Matou\u0161ek, L. Vok\u0159\u00ednek, U. Wagner, Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension. Preprint arXiv:1211.3093 (2012)."},{"key":"9159_CR4","doi-asserted-by":"crossref","unstructured":"M. \u010cadek, M. Kr\u010d\u00e1l, J. Matou\u0161ek, L. Vok\u0159\u00ednek, U. Wagner, Extendability of continuous maps is undecidable. Preprint arXiv:1302.2370 (2013).","DOI":"10.1007\/s00454-013-9551-8"},{"key":"9159_CR5","series-title":"Expos\u00e9s 2 \u00e0 16, S\u00e9minaire Henri Cartan","volume-title":"Alg\u00e8bres d\u2019Eilenberg\u2013MacLane et homotopie","author":"H. Cartan","year":"1956","unstructured":"H. Cartan, Alg\u00e8bres d\u2019Eilenberg\u2013MacLane et homotopie. Expos\u00e9s 2 \u00e0 16, S\u00e9minaire Henri Cartan (\u00c9cole Normale Sup\u00e9rieure, Paris, 1956)."},{"key":"9159_CR6","unstructured":"A. Cl\u00e9ment, Integral cohomology of finite Postnikov towers. Doctoral Thesis, Univ. de Lausanne, 2002."},{"key":"9159_CR7","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0001-8708(71)90015-6","volume":"6","author":"E.B. Curtis","year":"1971","unstructured":"E.B. Curtis, Simplicial homotopy theory, Adv. Math. 6, 107\u2013209 (1971).","journal-title":"Adv. Math."},{"key":"9159_CR8","doi-asserted-by":"crossref","first-page":"55","DOI":"10.2307\/1969820","volume":"58","author":"S. Eilenberg","year":"1953","unstructured":"S. Eilenberg, S. Mac Lane, On the groups of H(\u03a0,n). I, Ann. Math. 58, 55\u2013106 (1953).","journal-title":"Ann. Math."},{"issue":"1","key":"9159_CR9","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1006\/aima.1997.1650","volume":"134","author":"R. Forman","year":"1998","unstructured":"R. Forman, Morse theory for cell complexes, Adv. Math. 134(1), 90\u2013145 (1998).","journal-title":"Adv. Math."},{"key":"9159_CR10","unstructured":"R. Forman, A user\u2019s guide to discrete Morse theory, S\u00e9minaire Lotharingien de Combinatoire 48 (2002). Article B48c."},{"key":"9159_CR11","series-title":"LNCS","first-page":"315","volume-title":"Proc. 36th International Symposium on Mathematical Foundations of Computer Science (MFCS)","author":"P. Franek","year":"2011","unstructured":"P. Franek, S. Ratschan, P. Zgliczynski, Satisfiability of systems of equations of real analytic functions is quasi-decidable, in Proc. 36th International Symposium on Mathematical Foundations of Computer Science (MFCS). LNCS, vol.\u00a06907 (Springer, Berlin, 2011), pp. 315\u2013326."},{"issue":"2","key":"9159_CR12","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1216\/RMJ-2012-42-2-353","volume":"42","author":"G. Friedman","year":"2012","unstructured":"G. Friedman, An elementary illustrated introduction to simplicial sets, Rocky Mt. J. Math. 42(2), 353\u2013423 (2012).","journal-title":"Rocky Mt. J. Math."},{"key":"9159_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-8707-6","volume-title":"Simplicial Homotopy Theory","author":"P.G. Goerss","year":"1999","unstructured":"P.G. Goerss, J.F. Jardine, Simplicial Homotopy Theory (Birkh\u00e4user, Basel, 1999)."},{"issue":"6","key":"9159_CR14","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1016\/j.jsc.2011.01.005","volume":"46","author":"J. Heras","year":"2011","unstructured":"J. Heras, V. Pascual, J. Rubio, F. Sergeraert, fKenzo: a user interface for computations in algebraic topology, J.\u00a0Symb. Comput. 46(6), 685\u2013698 (2011).","journal-title":"J.\u00a0Symb. Comput."},{"key":"9159_CR15","volume-title":"Simplicial Objects in Algebraic Topology","author":"J.P. May","year":"1992","unstructured":"J.P. May, Simplicial Objects in Algebraic Topology (Chicago University Press, Chicago, 1992). Reprint of the 1967 original; the page numbers do not quite agree with the 1967 edition."},{"key":"9159_CR16","unstructured":"A. Romero, J. Rubio, Computing the homology of groups: the geometric way. Preprint arXiv:1107.3396 , http:\/\/arxiv.org\/pdf\/1107.3396v1 (2011)."},{"key":"9159_CR17","unstructured":"A. Romero, F. Sergeraert, Discrete vector fields and fundamental algebraic topology. Preprint (2011) an updated version at http:\/\/www-fourier.ujf-grenoble.fr\/~sergerar\/Papers\/ . arXiv:1005.5685"},{"issue":"10","key":"9159_CR18","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1016\/j.jsc.2006.06.002","volume":"41","author":"A. Romero","year":"2006","unstructured":"A. Romero, J. Rubio, F. Sergeraert, Computing spectral sequences, J. Symb. Comput. 41(10), 1059\u20131079 (2006).","journal-title":"J. Symb. Comput."},{"issue":"5","key":"9159_CR19","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0007-4497(02)01119-3","volume":"126","author":"J. Rubio","year":"2002","unstructured":"J. Rubio, F. Sergeraert, Constructive algebraic topology, Bull. Sci. Math. 126(5), 389\u2013412 (2002).","journal-title":"Bull. Sci. Math."},{"key":"9159_CR20","unstructured":"J. Rubio, 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."},{"issue":"1","key":"9159_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/aima.1994.1018","volume":"104","author":"F. Sergeraert","year":"1994","unstructured":"F. Sergeraert, The computability problem in algebraic topology, Adv. Math. 104(1), 1\u201329 (1994).","journal-title":"Adv. Math."},{"key":"9159_CR22","unstructured":"F. Sergeraert, Introduction to combinatorial homotopy theory. Available at http:\/\/www-fourier.ujf-grenoble.fr\/~sergerar\/Papers\/ . (2008)."},{"key":"9159_CR23","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/BF02564562","volume":"27","author":"J.-P. Serre","year":"1953","unstructured":"J.-P. Serre, Cohomologie modulo 2 des complexes d\u2019Eilenberg-MacLane, Comment. Math. Helv. 27, 198\u2013232 (1953).","journal-title":"Comment. Math. Helv."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-013-9159-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-013-9159-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-013-9159-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,14]],"date-time":"2019-07-14T03:07:03Z","timestamp":1563073623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-013-9159-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,30]]},"references-count":23,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["9159"],"URL":"https:\/\/doi.org\/10.1007\/s10208-013-9159-7","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,30]]}}}