CCA '96:

Second Workshop on

Computability and Complexity in Analysis

August 22-23, 1996


Universität Trier
Germany

Extended Abstracts

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