24 citations · 62 across the 5 of their papers we have counts for
4 papers · 1 filter
Computable Approximations of Semicomputable Graphs
Vedran Čačić, Matea Čelar, Marko Horvat +1
In this work, we study the computability of topological graphs, which are obtained by gluing arcs and rays together at their endpoints. We prove that every semicomputable graph in…
Computability of 1-manifolds
Konrad Burnik, Zvonko Iljazovic
A semi-computable set S in a computable metric space need not be computable. However, in some cases, if S has certain topological properties, we can conclude that S is computable.…
Compact manifolds with computable boundaries
Zvonko Iljazovic
We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric s…
Co-c.e. spheres and cells in computable metric spaces
Zvonko Iljazovic
We investigate conditions under which a co-computably enumerable set in a computable metric space is computable. Using higher-dimensional chains and spherical chains we prove that…