Filtri
cris logo
-
Novo iskanje Filtri
Izberi iz seznama
Prikazano od Prikaži več
Dosegli ste najvišje možno število prikazanih rezultatov iskanja.
Prikazani so vsi rezultati
Za izvedeno iskanje ni na voljo rezultatov
Prikazano od
Dosegli ste najvišje možno število prikazanih rezultatov iskanja.
Prikazani so vsi rezultati
Nalaganje rezultatov
Pridobivanje statističnih podatkov

Mednarodni projekti vir: SICRIS

Computable Analysis

Uredi
Raziskovalci (1)
št. Evidenčna št. Ime in priimek Razisk. področje Vloga Obdobje Štev. publikacij
1.  15854  dr. Andrej Bauer  Matematika  Vodja  2012 - 2016  0 
Organizacije (1)
št. Evidenčna št. Razisk. organizacija Kraj Matična številka Štev. publikacij
1.  1554  Univerza v Ljubljani, Fakulteta za matematiko in fiziko  Ljubljana  1627007  6 
Povzetek
The proposed programme focusses on logical and algorithmic aspects of processing infinite data. Through a network of institutes from three European and three Third countries, all of them among the leading groups in the relevant research, we aim at facilitating the interplay between the underlying branches of computable mathematics, i.e. computable analysis and topology, as well as exact real number computation.
Zahtevana je potrditev
Zgodovina ogledov
Priljubljeno