Mednarodni projekti

Organizacije (1) , Raziskovalci (1)

1554  Univerza v Ljubljani, Fakulteta za matematiko in fiziko

št.	Evidenčna št.	Ime in priimek	Razisk. področje	Vloga	Obdobje	Štev. publikacijŠtev. publikacij
1.	15854	dr. Andrej Bauer	Matematika	Vodja	2012 - 2016	214

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.