Effective homotopy of fibrations

DOI10.1007/s00200-012-0168-6zbMath1253.55011OpenAlexW1969524881MaRDI QIDQ714654

Ana Romero, Francis Sergeraert

Publication date: 11 October 2012

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-012-0168-6

zbMATH Keywords

spectral sequencefibrationshomotopy groupsconstructive algebraic topology

Mathematics Subject Classification ID

Related Items (4)

A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space ⋮ An implementation of effective homotopy of fibrations ⋮ A combinatorial tool for computing the effective homotopy of iterated loop spaces ⋮ Computing simplicial representatives of homotopy group elements

Uses Software

• Kenzo

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• The computability problem in algebraic topology
• Constructive algebraic topology
• Homotopy limits, completions and localizations
• Groupes d'homotopie et classes de groupes abéliens

This page was built for publication: Effective homotopy of fibrations