CiE 2007
|
General Information
|
Participation
|
Scientific Programme
|
Publications
|
CiE
|
CCA 2007
Real Computation
Organisers:
Vasco Brattka
(Cape Town) and
Pietro Di Gianantonio
(Udine)
Pieter Collins
(Amsterdam):
Effective Computation for Nonlinear Systems
Abbas Edalat
(London):
A Continuous Derivative for Real-Valued Functions
Hajime Ishihara
(Tokyo):
Unique Existence and Computability in Constructive Reverse Mathematics
Robert Rettinger
(Hagen):
Computable Riemann Surfaces
Martin Ziegler
(Paderborn):
Real Hypercomputation
Maintained
B. Cooper