Computing higher Leray-Serre spectral sequences of towers of fibrations

DOI10.1007/s10208-020-09475-8zbMath1483.18027arXiv1912.04848OpenAlexW3097681984MaRDI QIDQ2231647

Ana Romero, Andrea Guidolin

Publication date: 30 September 2021

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1912.04848

zbMATH Keywords

symbolic computationLeray-Serre spectral sequencecomputational topologyeffective homologyconstructive algebraic topologyhigher spectral sequences

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) General theory of spectral sequences in algebraic topology (55T05) Serre spectral sequences (55T10) Simplicial sets, simplicial objects (18N50)

Related Items (1)

Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences

Uses Software

• Kenzo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Homologie des espaces fibrés
• Applications of perturbation theory to iterated fibrations
• The computability problem in algebraic topology
• Morse theory for cell complexes
• Computational homology
• Constructive algebraic topology
• Computing spectral sequences
• Twisted tensor products. I
• Homologie singulière des espaces fibrés. Applications
• On the groups \(H(\Pi,n)\). II
• Effective Computation of Generalized Spectral Sequences
• On Products of Complexes

This page was built for publication: Computing higher Leray-Serre spectral sequences of towers of fibrations