Pages that link to "Item:Q1328492"
From MaRDI portal
The following pages link to The computability problem in algebraic topology (Q1328492):
Displayed 30 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)
- Computing higher Leray-Serre spectral sequences of towers of fibrations (Q2231647) (← links)
- Computing simplicial representatives of homotopy group elements (Q2324597) (← links)
- Searching combinatorial optimality using graph-based homology information (Q2352515) (← links)
- An implementation of effective homotopy of fibrations (Q2422709) (← 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)
- Computing all maps into a sphere (Q5743373) (← links)
- Rational homotopy type and computability (Q6072332) (← links)