CCA '96:
Second Workshop on
Computability and Complexity in Analysis
August 22-23, 1996
Universität Trier
Germany
Extended Abstracts
Edited by Ker-I Ko, Norbert Müller, Klaus Weihrauch
Contents:
- 1
-
Vasco Brattka:
-
Computable Invariance
- 2
-
Corine Ceola:
-
Decidability of the graph of a map in the model of Blum, Shub and Smale
- 3
-
Peter Hertling:
-
Computable Real Functions: Type 1 Computability Versus Type 2 Computability
- 4
-
Ker-I Ko:
-
Fractals and Complexity
- 5
-
Klaus Meer:
-
On diagonal sets in uncountable structures
- 6
-
Norbert Müller:
-
Towards a real Real RAM: a Prototype using C++
- 7
-
Wilson Rosa de Oliveira:
-
Program Schemes over Continuous Algebras
- 8
-
Marian B. Pour-El, Ning Zhong:
-
The Wave Equation with Computable
Initial Data Whose Unique Solution is Nowhere Computable
- 9
-
Marcel K. Richter, Kam-Chau Wong:
-
Computable Economic Analysis
- 10
-
Matthias Schröder:
-
Fast Online Real Multiplication
- 11
-
Klaus Weihrauch:
-
Computability on the probability measures
on the Borel sets of the unit interval
- 12
-
Klaus Weihrauch, Xizhong Zheng:
-
Computability on Continuous, Lower Semi-Continuous
and Upper Semi-Continuous Real Functions