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