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

DOI10.1007/S10208-016-9322-ZMaRDI QIDQ1683741zbMATH OpenOpenAlexFDO

Authors Ana Romero, Francis Sergeraert

Publication date 1 December 2017

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

Full work available at URL https://doi.org/10.1007/s10208-016-9322-z

zbMATH Keywords

Bousfield-Kan spectral sequencecombinatorial algebraic topologyeffective homotopysymbolic computation

Mathematics Subject Classification ID

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

Recommendations

• Computing the first stages of the Bousfield-Kan spectral sequence
• scientific article; zbMATH DE number 5635461
• Computing spectral sequences
• Effective homotopy of fibrations
• scientific article; zbMATH DE number 4050573

Cites work

• A combinatorial tool for computing the effective homotopy of iterated loop spaces
• Computational homology
• Computing the first stages of the Bousfield-Kan spectral sequence
• Constructive algebraic topology
• Effective homotopy of fibrations
• Finite computability of Postnikov complexes
• Homotopy groups of suspended classifying spaces: an experimental approach
• Homotopy limits, completions and localizations
• scientific article; zbMATH DE number 3984103 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 737043 (Why is no real title available?)
• scientific article; zbMATH DE number 1565334 (Why is no real title available?)
• scientific article; zbMATH DE number 3216237 (Why is no real title available?)
• Morse theory for cell complexes
• On homotopy groups of the suspended classifying spaces
• On the non-existence of elements of Hopf invariant one
• Polynomial-time homology for simplicial Eilenberg-MacLane spaces
• Programming before theorizing: a case study
• Simple Homotopy Types
• Simplicial homotopy theory
• Stable homotopy groups of spheres. A computer-assisted approach
• The computability problem in algebraic topology
• The homotopy spectral sequence of a space with coefficients in a ring

Cited in

(3)

• A combinatorial tool for computing the effective homotopy of iterated loop spaces
• An implementation of effective homotopy of fibrations
• Computing the first stages of the Bousfield-Kan spectral sequence

Describes a project that uses

Uses Software

• Kenzo

This page was built for publication: A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1683741)