Zobrazeno 1 - 10
of 138
pro vyhledávání: '"ILJAZOVIĆ, ZVONKO"'
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 a computable metric space can be approximated, with arbitrary precisio
Externí odkaz:
http://arxiv.org/abs/2411.13672
Autor:
Iljazović, Zvonko1 (AUTHOR) zilj@math.hr, Jelić, Matea2 (AUTHOR) matea.jelic@gradst.hr
Publikováno v:
Mathematics (2227-7390). Nov2024, Vol. 12 Issue 22, p3468. 28p.
Autor:
Iljazović, Zvonko1 (AUTHOR) zilj@math.hr, Jelić, Matea2 (AUTHOR)
Publikováno v:
Archive for Mathematical Logic. Feb2024, Vol. 63 Issue 1/2, p181-201. 21p.
Autor:
Iljazović, Zvonko, Sušić, Igor
We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is computable
Externí odkaz:
http://arxiv.org/abs/1701.04642
Publikováno v:
In Theoretical Computer Science September 2021
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Burnik, Konrad, Iljazovic, Zvonko
Publikováno v:
Logical Methods in Computer Science, Volume 10, Issue 2 (June 12, 2014) lmcs:961
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. It is known that if a semi-computable set S is a compact manifold with
Externí odkaz:
http://arxiv.org/abs/1404.6487
Autor:
Iljazovic, Zvonko
Publikováno v:
Logical Methods in Computer Science, Volume 9, Issue 4 (December 11, 2013) lmcs:891
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 space each co-computably enumerable compact manifold with computable bo
Externí odkaz:
http://arxiv.org/abs/1310.7911
Autor:
Iljazovic, Zvonko
Publikováno v:
Logical Methods in Computer Science, Volume 7, Issue 3 (August 25, 2011) lmcs:885
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 in each computable metric space which is locally computable each co-co
Externí odkaz:
http://arxiv.org/abs/1106.2769
Autor:
Iljazović, Zvonko, Pažek, Bojan
Publikováno v:
In Topology and its Applications 15 April 2018 239:308-323