The computability problem in algebraic topology

DOI10.1006/aima.1994.1018zbMath0823.55011MaRDI QIDQ1328492

Francis Sergeraert

Publication date: 30 October 1995

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/dc0ff9d4b1495f224ed5d3e30ca79ac23642fbb9

zbMATH Keywords

\(K\)-theory; free groups; Serre spectral sequence; Eilenberg-Moore spectral sequences; computability problem in homological algebra; cone exact sequences

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

55P99: Homotopy theory

Related Items

The homology of iterated loop spaces, Homotopy groups of suspended classifying spaces: An experimental approach, Computing all maps into a sphere, Rational homotopy type and computability, Computing the homology of groups: the geometric way., P systems and computational algebraic topology, Effective homology of bicomplexes, formalized in Coq, Homological models for semidirect products of finitely generated Abelian groups., Effective homotopy of fibrations, An algorithm computing homotopy groups., Integrating functional programming and symbolic computation., Constructive algebraic topology, Connectivity calculus of fractal polyhedrons, A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space, Homological spanning forest framework for 2D image analysis, Using membrane computing for effective homology, Computation of cubical homology, cohomology, and (co)homological operations via chain contraction, Computing higher Leray-Serre spectral sequences of towers of fibrations, Computing simplicial representatives of homotopy group elements, Searching combinatorial optimality using graph-based homology information, An implementation of effective homotopy of fibrations, fKenzo: a user interface for computations in algebraic topology, Polynomial-time homology for simplicial Eilenberg-MacLane spaces, Extendability of continuous maps is undecidable, Computation of Cubical Steenrod Squares, Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System, Computing All Maps into a Sphere, Natural Homology, A computational approach ofA_∞-(co)algebras, Decomposing Cavities in Digital Volumes into Products of Cycles