Computing the first stages of the Bousfield-Kan spectral sequence

DOI10.1007/s00200-010-0123-3zbMath1215.55008OpenAlexW2050962596MaRDI QIDQ969620

Ana Romero

Publication date: 7 May 2010

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-010-0123-3

zbMATH Keywords

symbolic computationBousfield-Kan spectral sequencehomology algorithmconstructive algebraic topologycomputation of homotopy groups

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Homotopy groups, general; sets of homotopy classes (55Q05) Spectral sequences in algebraic topology (55T99)

Related Items

A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space, Effective homotopy of fibrations

Uses Software

• Kenzo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the non-existence of elements of Hopf invariant one
• Computational homology
• Constructive algebraic topology
• Computing spectral sequences
• Homotopy limits, completions and localizations
• ON THE COBAR CONSTRUCTION
• Geometry of loop spaces and the cobar construction
• A Second Quadrant Homotopy Spectral Sequence
• On Products of Complexes