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…