Computable Analysis
(COMPUTAL)
Start date: Feb 1, 2012,
End date: Jan 31, 2016
PROJECT
FINISHED
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.
Get Access to the 1st Network for European Cooperation
Log In