31 citations · 45 across the 4 of their papers we have counts for
Showing math.ATShow all
3 papers · 1 filter
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…
math.AT2013
Are two given maps homotopic? An algorithmic viewpoint
Marek Filakovský, Lukáš Vokřínek
This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the s…
math.AT2013
Algorithmic solvability of the lifting-extension problem
Martin Čadek, Marek Krčál, Lukáš Vokřínek
Let and be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group . Assuming that is -connected…