The computability problem in algebraic topology
From MaRDI portal
Publication:1328492
DOI10.1006/aima.1994.1018zbMath0823.55011MaRDI QIDQ1328492
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
\(K\)-theory; free groups; Serre spectral sequence; Eilenberg-Moore spectral sequences; computability problem in homological algebra; cone exact sequences
Related Items
The homology of iterated loop spaces, Homotopy groups of suspended classifying spaces: An experimental approach, 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, Searching combinatorial optimality using graph-based homology information, 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