1. Computability of finite simplicial complexes;Amir,2022
2. Effectiveness for embedded spheres and balls;Miller;Electron. Notes Theor. Comput. Sci.,2002
3. Compact manifolds with computable boundaries;Iljazovic;Log. Methods Comput. Sci.,2013
4. Computability of products of chainable continua;Čelar;Theory Comput. Syst.,2021
5. Are two given maps homotopic? An algorithmic viewpoint;Filakovský;Found. Comput. Math.,2020