Pages that link to "Item:Q1328492"
From MaRDI portal
The following pages link to The computability problem in algebraic topology (Q1328492):
Displayed 25 items.
- Computing the homology of groups: the geometric way. (Q420743) (← links)
- P systems and computational algebraic topology (Q630756) (← links)
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- Homological models for semidirect products of finitely generated Abelian groups. (Q714640) (← links)
- Effective homotopy of fibrations (Q714654) (← links)
- An algorithm computing homotopy groups. (Q1565828) (← links)
- Integrating functional programming and symbolic computation. (Q1565830) (← links)
- Constructive algebraic topology (Q1612751) (← links)
- Connectivity calculus of fractal polyhedrons (Q1678685) (← links)
- A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space (Q1683741) (← links)
- Homological spanning forest framework for 2D image analysis (Q1926586) (← links)
- Using membrane computing for effective homology (Q1928791) (← links)
- Computation of cubical homology, cohomology, and (co)homological operations via chain contraction (Q2017610) (← links)
- Searching combinatorial optimality using graph-based homology information (Q2352515) (← links)
- fKenzo: a user interface for computations in algebraic topology (Q2430025) (← links)
- Polynomial-time homology for simplicial Eilenberg-MacLane spaces (Q2441425) (← links)
- Extendability of continuous maps is undecidable (Q2441584) (← links)
- Computation of Cubical Steenrod Squares (Q2815195) (← links)
- Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (Q3003483) (← links)
- Computing All Maps into a Sphere (Q3189652) (← links)
- Natural Homology (Q3449474) (← links)
- A computational approach of<i>A</i><sub>∞</sub>-(co)algebras (Q3568432) (← links)
- Decomposing Cavities in Digital Volumes into Products of Cycles (Q3648790) (← links)
- The homology of iterated loop spaces (Q4530790) (← links)
- Homotopy groups of suspended classifying spaces: An experimental approach (Q5326507) (← links)