Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Computability of semi-computable compact manifolds (CROSBI ID 604929)

Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija

Iljazović, Zvonko Computability of semi-computable compact manifolds // Informatik Berichte / Arno Pauly, Robert Rettinger, Klaus Weihrauch (ur.). Hagen: FernUniversitat in Hagen, 2012. str. 17-17

Podaci o odgovornosti

Iljazović, Zvonko

engleski

Computability of semi-computable compact manifolds

We investigate conditions under which a co- computably enumerable closed set in a computable metric space is computable. We prove that in each computable metric space which is locally computable each co-computably enumerable compact manifold is computable. In fact, we examine the notion of a semi-computable compact set and we prove a more general result: in any computable metric space each semi-computable compact manifold is computable.

computable metric space; computable set; co-c.e. set; semi-computable compact set; compact manifold

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

17-17.

2012.

objavljeno

Podaci o matičnoj publikaciji

Informatik Berichte

Arno Pauly, Robert Rettinger, Klaus Weihrauch

Hagen: FernUniversitat in Hagen

Podaci o skupu

Ninth International Conference on Computability and Complexity in Analysis

predavanje

24.06.2012-27.06.2012

Cambridge, Ujedinjeno Kraljevstvo

Povezanost rada

Računarstvo, Matematika