The computability problem in algebraic topology
From MaRDI portal
Publication:1328492
DOI10.1006/aima.1994.1018zbMath0823.55011OpenAlexW2020401767MaRDI 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\)-theoryfree groupsSerre spectral sequenceEilenberg-Moore spectral sequencescomputability problem in homological algebracone exact sequences
Related Items
Constructive algebraic topology ⋮ Natural Homology ⋮ Computing All Maps into a Sphere ⋮ Homotopy groups of suspended classifying spaces: An experimental approach ⋮ Connectivity calculus of fractal polyhedrons ⋮ Homological spanning forest framework for 2D image analysis ⋮ Using membrane computing for effective homology ⋮ A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space ⋮ Rational homotopy type and computability ⋮ An implementation of effective homotopy of fibrations ⋮ Computing the homology of groups: the geometric way. ⋮ P systems and computational algebraic topology ⋮ 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 ⋮ Computing higher Leray-Serre spectral sequences of towers of fibrations ⋮ Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System ⋮ A computational approach ofA∞-(co)algebras ⋮ Computation of cubical homology, cohomology, and (co)homological operations via chain contraction ⋮ Homological models for semidirect products of finitely generated Abelian groups. ⋮ Effective homotopy of fibrations ⋮ The homology of iterated loop spaces ⋮ Computation of Cubical Steenrod Squares ⋮ An algorithm computing homotopy groups. ⋮ Integrating functional programming and symbolic computation. ⋮ Decomposing Cavities in Digital Volumes into Products of Cycles ⋮ Computing all maps into a sphere ⋮ Computing simplicial representatives of homotopy group elements ⋮ Searching combinatorial optimality using graph-based homology information
This page was built for publication: The computability problem in algebraic topology
