Rechercher des projets européens

Computable Analysis (COMPUTAL)
Date du début: 1 févr. 2012, Date de fin: 31 janv. 2016 PROJET  TERMINÉ 

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.



7 Participants partenaires