{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:01:36Z","timestamp":1760061696914},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,5,2]],"date-time":"2016-05-02T00:00:00Z","timestamp":1462147200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s10208-016-9322-z","type":"journal-article","created":{"date-parts":[[2016,5,2]],"date-time":"2016-05-02T15:07:50Z","timestamp":1462201670000},"page":"1335-1366","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Bousfield\u2013Kan Algorithm for Computing the Effective Homotopy of a Space"],"prefix":"10.1007","volume":"17","author":[{"given":"Ana","family":"Romero","sequence":"first","affiliation":[]},{"given":"Francis","family":"Sergeraert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,2]]},"reference":[{"issue":"1","key":"9322_CR1","doi-asserted-by":"crossref","first-page":"20","DOI":"10.2307\/1970147","volume":"72","author":"JF Adams","year":"1960","unstructured":"J.\u00a0F. Adams, On the non-existence of elements of Hopf invariant one, Annals of Mathematics 72(1) (1960), 20\u2013104.","journal-title":"Annals of Mathematics"},{"key":"9322_CR2","unstructured":"C. Berger, Une version effective du thorme de Hurewicz, Ph.D. Thesis (1991), http:\/\/math.unice.fr\/~cberger\/these ."},{"key":"9322_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E Bishop","year":"1985","unstructured":"E. Bishop and D. Bridges, Constructive Analysis, Springer, 1985."},{"key":"9322_CR4","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0040-9383(72)90024-9","volume":"11","author":"AK Bousfield","year":"1972","unstructured":"A.\u00a0K. Bousfield and D.\u00a0M. Kan, The homotopy spectral sequence of a space with coefficients in a ring, Topology 11 (1972), 79\u2013106.","journal-title":"Topology"},{"key":"9322_CR5","doi-asserted-by":"crossref","unstructured":"A.\u00a0K. Bousfield and D.\u00a0M. Kan, Homotopy Limits, Completions and Localizations, Lecture Notes in Mathematics, Springer, New York, 1972.","DOI":"10.1007\/978-3-540-38117-4"},{"issue":"1","key":"9322_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1969664","volume":"65","author":"EH Brown","year":"1957","unstructured":"E. H. Brown, Finite computability of Postnikov complexes, Annals of Mathematics 65(1) (1957), 1\u201320.","journal-title":"Annals of Mathematics"},{"key":"9322_CR7","unstructured":"H. Cartan, Alg\u00e8bres d\u2019Eilenberg-MacLane et homotopie, S\u00e9minaire H. Cartan, \u00c9cole Normal Sup\u00e9rieure, Paris : Expos\u00e9s 2\u201311, 1954\u20131955."},{"key":"9322_CR8","unstructured":"X. Dousson, J. Rubio, F. Sergeraert and Y. Siret, The Kenzo program, Institut Fourier, Grenoble, 1999, http:\/\/www-fourier.ujf-grenoble.fr\/~sergerar\/Kenzo\/ ."},{"key":"9322_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, Advances in Mathematics 134 (1998), 90\u2013145.","journal-title":"Advances in Mathematics"},{"key":"9322_CR10","doi-asserted-by":"crossref","unstructured":"P. G. Goerss and J. F. Jardine, Simplicial Homotopy Theory, Birkh\u00e4user, 1999.","DOI":"10.1007\/978-3-0348-8707-6"},{"key":"9322_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/b97315","volume-title":"Computational Homology, Applied Mathematical Sciences","author":"T Kaczynski","year":"2004","unstructured":"T. Kaczynski, K. Mischaikow, and M. Mrozek, Computational Homology, Applied Mathematical Sciences, Springer, 2004."},{"key":"9322_CR12","doi-asserted-by":"crossref","unstructured":"S.\u00a0O. Kochman, Stable homotopy groups of spheres, Lecture Notes in Mathematics, Springer, New York, 1990.","DOI":"10.1007\/BFb0083795"},{"key":"9322_CR13","doi-asserted-by":"crossref","unstructured":"S.\u00a0O. Kochman and M.\u00a0E. Mahowald, On the computation of stable stems, in: The Cech Centennial: A Conference on Homotopy Theory, AMS Contemporary Mathematics, vol. 181, 1995.","DOI":"10.1090\/conm\/181\/02039"},{"key":"9322_CR14","doi-asserted-by":"crossref","unstructured":"M. Krc\u0306\u00e1l, J. Matous\u0306ek and F. Sergeraert, Polynomial-time homology for simplicial Eilenberg\u2013MacLane spaces, Foundations of Computational Mathematics 13 (2013), 935\u2013963.","DOI":"10.1007\/s10208-013-9159-7"},{"key":"9322_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-62029-4","volume-title":"Homology","author":"S MacLane","year":"1963","unstructured":"S. MacLane, Homology, Springer, 1963."},{"key":"9322_CR16","volume-title":"User\u2019s guide to spectral sequences","author":"J McCleary","year":"2001","unstructured":"J. McCleary, User\u2019s guide to spectral sequences, second edition, Cambridge University Press, 2001.","edition":"2"},{"key":"9322_CR17","volume-title":"Simplicial objects in Algebraic Topology, Van Nostrand Mathematical Studies","author":"JP May","year":"1967","unstructured":"J.\u00a0P. May, Simplicial objects in Algebraic Topology, Van Nostrand Mathematical Studies, University of Chicago Press, 1967."},{"key":"9322_CR18","doi-asserted-by":"crossref","first-page":"565","DOI":"10.2140\/agt.2010.10.565","volume":"10","author":"R Mikhailov","year":"2010","unstructured":"R. Mikhailov and J. Wu, On homotopy groups of the suspended classifying spaces, Algebraic and Geometric Topology 10 (2010), 565\u2013625.","journal-title":"Algebraic and Geometric Topology"},{"key":"9322_CR19","volume-title":"Complex cobordism and stable homotopy groups of spheres","author":"DC Ravenel","year":"1986","unstructured":"D.\u00a0C. Ravenel, Complex cobordism and stable homotopy groups of spheres, Academic Press, 1986."},{"key":"9322_CR20","unstructured":"A. Romero, Effective Homology and Spectral Sequences, Ph.D. Thesis, Universidad de La Rioja, 2007. http:\/\/www.unirioja.es\/cu\/anromero\/tesis"},{"key":"9322_CR21","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s00200-010-0123-3","volume":"21","author":"A Romero","year":"2010","unstructured":"A. Romero, Computing the first stages of the Bousfield-Kan spectral sequence, Applicable Algebra in Engineering, Communication and Computing 21 (2010), 227\u2013248.","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"key":"9322_CR22","doi-asserted-by":"crossref","first-page":"2237","DOI":"10.1090\/S0025-5718-2013-02680-4","volume":"82","author":"A Romero","year":"2013","unstructured":"A. Romero and J. Rubio, Homotopy groups of suspended classifying spaces: an experimental approach, Mathematics of computation 82 (2013), 2237\u20132244.","journal-title":"Mathematics of Computation"},{"key":"9322_CR23","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s00200-012-0168-6","volume":"23","author":"A Romero","year":"2012","unstructured":"A. Romero and F. Sergeraert, Effective homotopy of fibrations, Applicable Algebra in Engineering, Communication and Computing 23 (2012), 85\u2013100.","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"key":"9322_CR24","doi-asserted-by":"crossref","unstructured":"A. Romero and F. Sergeraert, Programming before Theorizing, a case study, in Proceedings International Symposium on Symbolic and Algebraic Computation, ACM, 2012, pp. 289\u2013296.","DOI":"10.1145\/2442829.2442871"},{"key":"9322_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00454-014-9650-1","volume":"53","author":"A Romero","year":"2015","unstructured":"A. Romero and F. Sergeraert, A combinatorial tool for computing the effective homotopy of iterated loop spaces, Discrete and Computational Geometry 53 (2015), 1\u201315.","journal-title":"Discrete and Computational Geometry"},{"issue":"5","key":"9322_CR26","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 and F. Sergeraert, Constructive Algebraic Topology, Bulletin des Sciences Math\u00e9matiques 126(5) (2002), 389\u2013412.","journal-title":"Bulletin des Sciences Math\u00e9matiques"},{"key":"9322_CR27","unstructured":"J. Rubio and F. Sergeraert, Constructive Homological Algebra and Applications, Unpublished results (2006), http:\/\/arxiv.org\/abs\/1208.3816 ."},{"issue":"1","key":"9322_CR28","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, Advances in Mathematics 104(1) (1994), 1\u201329.","journal-title":"Advances in Mathematics"},{"key":"9322_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2372876","volume":"82","author":"J Whitehead","year":"1960","unstructured":"J. Whitehead, Simple homotopy types, American Journal of Mathematics 82 (1960), 1\u201357.","journal-title":"American Journal of Mathematics"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-016-9322-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-016-9322-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-016-9322-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-016-9322-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T07:00:04Z","timestamp":1567839604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-016-9322-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,2]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["9322"],"URL":"https:\/\/doi.org\/10.1007\/s10208-016-9322-z","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,2]]}}}