{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:02:05Z","timestamp":1760061725998},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T00:00:00Z","timestamp":1603756800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T00:00:00Z","timestamp":1603756800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s10208-020-09475-8","type":"journal-article","created":{"date-parts":[[2020,10,27]],"date-time":"2020-10-27T19:02:56Z","timestamp":1603825376000},"page":"1023-1074","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Computing Higher Leray\u2013Serre Spectral Sequences of Towers of Fibrations"],"prefix":"10.1007","volume":"21","author":[{"given":"Andrea","family":"Guidolin","sequence":"first","affiliation":[]},{"given":"Ana","family":"Romero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,10,27]]},"reference":[{"issue":"1","key":"9475_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.2307\/1970101","volume":"69","author":"EH Brown Jr","year":"1959","unstructured":"E.H. Brown Jr, Twisted tensor products, I, Annals of Mathematics 69(1) (1959), 223\u2013246.","journal-title":"Annals of Mathematics"},{"key":"9475_CR2","unstructured":"R. Brown, The twisted Eilenberg-Zilber theorem, Celebrazioni Archimedi de Secolo XX, Simposio di Topologia (1967) 34\u201337."},{"key":"9475_CR3","unstructured":"A. Cl\u00e9ment, Integral Cohomology of Finite Postnikov Towers, Ph.D. thesis, Universit\u00e9 de Lausanne, 2002, https:\/\/doc.rero.ch\/record\/482\/files\/Clement_these.pdf"},{"key":"9475_CR4","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\/"},{"issue":"1","key":"9475_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/1969702","volume":"60","author":"S Eilenberg","year":"1954","unstructured":"S. Eilenberg and S. MacLane, On the Groups H($$\\pi $$, n), II: Methods of Computation, Annals of Mathematics 60(1) (1954), 49\u2013139.","journal-title":"Annals of Mathematics"},{"key":"9475_CR6","doi-asserted-by":"publisher","first-page":"200","DOI":"10.2307\/2372629","volume":"75","author":"S Eilenberg","year":"1953","unstructured":"S. Eilenberg and J.A. Zilber, On products of complexes, American Journal of Mathematics 75 (1953), 200\u2013204.","journal-title":"American Journal of Mathematics"},{"key":"9475_CR7","doi-asserted-by":"publisher","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":"9475_CR8","unstructured":"A. Guidolin, Spectral sequences and generalizations: applications and computational aspects, Ph.D. thesis, Politecnico di Torino, 2018."},{"key":"9475_CR9","doi-asserted-by":"crossref","unstructured":"A. Guidolin and A. Romero, Effective computation of generalized spectral sequences, in Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, pp. 183\u2013190.","DOI":"10.1145\/3208976.3208984"},{"key":"9475_CR10","unstructured":"A. Hatcher, Algebraic topology, Cambridge University Press, 2002."},{"key":"9475_CR11","doi-asserted-by":"crossref","unstructured":"T. Kaczynski, K. Mischaikow, and M. Mrozek, Computational Homology, Applied Mathematical Sciences vol. 157, Springer, 2004.","DOI":"10.1007\/b97315"},{"issue":"3","key":"9475_CR12","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/BF01165893","volume":"58","author":"L Lambe","year":"1987","unstructured":"L. Lambe and J. Stasheff, Applications of perturbation theory to iterated fibrations, Manuscripta mathematica 58(3)(1987), 363\u2013376.","journal-title":"Manuscripta mathematica"},{"key":"9475_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-62029-4","volume-title":"Homology","author":"S MacLane","year":"1963","unstructured":"S. MacLane, Homology, Springer-Verlag, Berlin, 1963."},{"key":"9475_CR14","unstructured":"B. Matschke, Successive spectral sequences, Preprint, 2013, http:\/\/arxiv.org\/abs\/1308.3187v1"},{"key":"9475_CR15","unstructured":"B. Matschke, Higher spectral sequences, Preprint, Max Planck Institute for Mathematics, Bonn, 2014, https:\/\/www.math.u-bordeaux.fr\/~bmatschke\/newDifferentialsInHigherSpectralSequences06.pdf"},{"key":"9475_CR16","unstructured":"J.P. May, Simplicial objects in Algebraic Topology, Van Nostrand Mathematical Studies, University of Chicago Press, 1967."},{"key":"9475_CR17","unstructured":"J. McCleary, A user\u2019s guide to spectral sequences, 2 edn. No.\u00a058 in Cambridge studies in advanced mathematics, Cambridge University Press, 2001."},{"issue":"10","key":"9475_CR18","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1016\/j.jsc.2006.06.002","volume":"41","author":"A Romero","year":"2006","unstructured":"A. Romero, J. Rubio, and F. Sergeraert, Computing spectral sequences, Journal of Symbolic Computation 41(10)(2006), 1059\u20131079.","journal-title":"Journal of Symbolic Computation"},{"issue":"5","key":"9475_CR19","doi-asserted-by":"publisher","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":"9475_CR20","unstructured":"J. Rubio and F. Sergeraert, Constructive Homological Algebra and Applications, Preprint, 2006, http:\/\/arxiv.org\/abs\/1208.3816"},{"issue":"1","key":"9475_CR21","doi-asserted-by":"publisher","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"},{"issue":"3","key":"9475_CR22","doi-asserted-by":"publisher","first-page":"425","DOI":"10.2307\/1969485","volume":"54","author":"JP Serre","year":"1951","unstructured":"J.P. Serre, Homologie singuli\u00e8re des espaces fibr\u00e9s, Annals of Mathematics 54(3) (1951), 425\u2013505.","journal-title":"Annals of Mathematics"},{"key":"9475_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF02684292","volume":"13","author":"W Shih","year":"1962","unstructured":"W. Shih, Homologie des espaces fibr\u00e9s, Publications Math\u00e9matiques de l\u2019IH\u00c9S 13 (1962), 5\u201387.","journal-title":"Publications Math\u00e9matiques de l\u2019IH\u00c9S"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-020-09475-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10208-020-09475-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-020-09475-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T23:05:57Z","timestamp":1635289557000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10208-020-09475-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,27]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["9475"],"URL":"https:\/\/doi.org\/10.1007\/s10208-020-09475-8","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,10,27]]},"assertion":[{"value":"5 April 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 July 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 September 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}