A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
type: Item
instance of: scholarly article
title: A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
zbMATH Open document ID: 1386.55022
author: Ana Romero
author: Francis Sergeraert
published in: Foundations of Computational Mathematics
publication date: 2017-12-01T00:00:00Z
Mathematics Subject Classification ID: 55T99
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 55Q05
Mathematics Subject Classification ID: 18G30
zbMATH DE Number: 6814856
zbMATH Keywords: Bousfield-Kan spectral sequence
zbMATH Keywords: effective homotopy
zbMATH Keywords: combinatorial algebraic topology
zbMATH Keywords: symbolic computation
describes a project that uses: Kenzo
MaRDI profile type: Publication
full work available at URL: s10208-016-9322-z
OpenAlex ID: W2345653202
cites work: On the non-existence of elements of Hopf invariant one
cites work: Q3803111
cites work: The homotopy spectral sequence of a space with coefficients in a ring
cites work: Homotopy limits, completions and localizations
cites work: Finite computability of Postnikov complexes
cites work: Morse theory for cell complexes
cites work: Simplicial homotopy theory
cites work: Computational homology
cites work: Stable homotopy groups of spheres. A computer-assisted approach
cites work: Q4327007
cites work: Polynomial-time homology for simplicial Eilenberg-MacLane spaces
cites work: Q5343374
cites work: Q4528987
cites work: On homotopy groups of the suspended classifying spaces
cites work: Q3747338
cites work: Computing the first stages of the Bousfield-Kan spectral sequence
cites work: Homotopy groups of suspended classifying spaces: An experimental approach
cites work: Effective homotopy of fibrations
cites work: Programming before theorizing, a case study
cites work: A combinatorial tool for computing the effective homotopy of iterated loop spaces
cites work: Constructive algebraic topology
cites work: The computability problem in algebraic topology
cites work: Simple Homotopy Types
DOI: 10.1007/S10208-016-9322-Z
description: scientific article; zbMATH DE number 6814856