Constructive algebraic topology

DOI10.1016/S0007-4497(02)01119-3zbMath1007.55019arXivmath/0111243OpenAlexW1992656112MaRDI QIDQ1612751

Francis Sergeraert, Julio Jesús Rubio García

Publication date: 18 March 2003

Published in: Bulletin des Sciences Mathématiques (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0111243

zbMATH Keywords

spectral sequencedifferentialschain complex

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Homotopy theory (55P99) Applied homological algebra and category theory in algebraic topology (55U99) Homotopy groups (55Q99)

Related Items (29)

Computing All Maps into a Sphere ⋮ Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences ⋮ Formalization of a normalization theorem in simplicial topology ⋮ Foreword on the relationship of computer algebra with mathematics and physics ⋮ A Certified Reduction Strategy for Homological Image Processing ⋮ A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space ⋮ Computing homotopy classes for diagrams ⋮ Rational homotopy type and computability ⋮ An implementation of effective homotopy of fibrations ⋮ Effective homological computations on finite topological spaces ⋮ Computing the homology of groups: the geometric way. ⋮ fKenzo: a user interface for computations in algebraic topology ⋮ Effective homology of bicomplexes, formalized in Coq ⋮ Polynomial-time homology for simplicial Eilenberg-MacLane spaces ⋮ Extendability of continuous maps is undecidable ⋮ A mechanized proof of the basic perturbation lemma ⋮ Computing with locally effective matrices ⋮ Computing spectral sequences ⋮ Computing invariants for multipersistence via spectral systems and effective homology ⋮ Computing higher Leray-Serre spectral sequences of towers of fibrations ⋮ The homological hexagonal lemma ⋮ Computing the first stages of the Bousfield-Kan spectral sequence ⋮ A case-study in algebraic manipulation using mechanized reasoning tools ⋮ Effective homotopy of fibrations ⋮ Object oriented institutions to specify symbolic computation systems ⋮ Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials ⋮ Computing all maps into a sphere ⋮ Computing simplicial representatives of homotopy group elements ⋮ Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems

Uses Software

• Kenzo
• LISP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite computability of Postnikov complexes
• Homologie des espaces fibrés
• The homology of iterated loop spaces
• The computability problem in algebraic topology
• Twisted tensor products. I
• ON THE COBAR CONSTRUCTION
• Effective algebraic topology
• Geometry of loop spaces and the cobar construction
• Sur l'itération de la construction Cobar
• Iterating the cobar construction

This page was built for publication: Constructive algebraic topology