Effective homotopy of fibrations

DOI10.1007/S00200-012-0168-6MaRDI QIDQ714654zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Publication:4721240
• Effective algebraic topology
• scientific article; zbMATH DE number 4050573
• An implementation of effective homotopy of fibrations
• scientific article; zbMATH DE number 3984106

Cites work

• scientific article; zbMATH DE number 3923668 (Why is no real title available?)
• scientific article; zbMATH DE number 3264757 (Why is no real title available?)
• Computing the first stages of the Bousfield-Kan spectral sequence
• Constructive algebraic topology
• Finite computability of Postnikov complexes
• Groupes d'homotopie et classes de groupes abéliens
• Homotopy limits, completions and localizations
• On the non-existence of elements of Hopf invariant one
• The computability problem in algebraic topology

Cited in

(16)

• Computing simplicial representatives of homotopy group elements
• Effective homology for homotopy colimit and cofibrant replacement.
• Computing the homology of groups: the geometric way.
• Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension
• scientific article; zbMATH DE number 3984106 (Why is no real title available?)
• Simplicial fibrations
• Rational homotopy type and computability
• scientific article; zbMATH DE number 4050573 (Why is no real title available?)
• Using membrane computing for effective homology
• scientific article; zbMATH DE number 3994552 (Why is no real title available?)
• A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
• Effective homological computations on finite topological spaces
• Examples and cofibrant generation of effective Kan fibrations
• A combinatorial tool for computing the effective homotopy of iterated loop spaces
• An implementation of effective homotopy of fibrations
• Effective Kan fibrations in simplicial sets

Describes a project that uses

Uses Software

• Kenzo

This page was built for publication: Effective homotopy of fibrations

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