Filters
cris logo
-
New search Filters
Select from list
Displayed from Show more
You have reached the maximum number of displayed search results.
All results displayed
No results are available for the search performed
Displayed from
You have reached the maximum number of displayed search results.
All results displayed
Loading results
Obtaining statistical data

International projects source: SICRIS

Computable Analysis

Edit
Researchers (1)
no. Code Name and surname Research area Role Period No. of publications
1.  15854  PhD Andrej Bauer  Mathematics  Head  2012 - 2016  199 
Organisations (1)
no. Code Research organisation City Registration number No. of publications
1.  1554  University of Ljubljana, Faculty of Mathematics and Physics  Ljubljana  1627007  34,076 
Abstract
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.
Confirmation required
Views history
Favourite