14 citations · 14 across the 1 of their papers we have counts for
2 papers
math.AT2021
Computing homotopy classes for diagrams
Marek Filakovský, Lukáš Vokřínek
We present an algorithm that, given finite simplicial sets , , with an action of a finite group , computes the set of homotopy classes of equivariant maps…
cs.CG2013★ 14 cited
Extendability of continuous maps is undecidable
Martin Cadek, Marek Krcal, Jiri Matousek +2
We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational…