A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
From MaRDI portal
Publication:1683741
DOI10.1007/s10208-016-9322-zzbMath1386.55022OpenAlexW2345653202MaRDI QIDQ1683741
Francis Sergeraert, Ana Romero
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
symbolic computationcombinatorial algebraic topologyBousfield-Kan spectral sequenceeffective homotopy
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Effective homotopy of fibrations
- Finite computability of Postnikov complexes
- On the non-existence of elements of Hopf invariant one
- Computing the first stages of the Bousfield-Kan spectral sequence
- On homotopy groups of the suspended classifying spaces
- Stable homotopy groups of spheres. A computer-assisted approach
- The computability problem in algebraic topology
- Morse theory for cell complexes
- Computational homology
- Constructive algebraic topology
- A combinatorial tool for computing the effective homotopy of iterated loop spaces
- Polynomial-time homology for simplicial Eilenberg-MacLane spaces
- The homotopy spectral sequence of a space with coefficients in a ring
- Homotopy limits, completions and localizations
- Programming before theorizing, a case study
- Homotopy groups of suspended classifying spaces: An experimental approach
- Simple Homotopy Types
- Simplicial homotopy theory
This page was built for publication: A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
