http://www.dagstuhl.de/99461

14. – 19. November 1999, Dagstuhl Seminar 99461

Computability and Complexity in Analysis

Organisatoren

Ker-I Ko (Stony Brook), A. Nerode (Ithaka), K. Weihrauch (Hagen)

Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl's Impact: Dokumente verfügbar
Externe Homepage
Dagstuhl-Seminar-Report 259

Already for a long time physicists, engineers, mathematicians and other scientists are spending large amounts of computing resources on computations over the real numbers. So far computer scientists deal mainly with computations over discrete, countable structures. But increasingly they too are confronted with problems involving real numbers and continuous structures (for example the complexity theoretic analysis of numerical problems, modeling of continuous or partially continuous signals and processes, hybrid systems, computation problems connected with dynamical systems, computational geometry). In order to deal with these problems one has to find effective analogues of results in classical analysis, to classify problems in the framework of computability theory, and to analyze their complexity. It also still requires a careful discussion of suitable models and work on the foundations of computability over the real numbers.

In this seminar the emphasis will be put on computable analysis which was initiated by Turing and Grzegorczyk and which is based on the Turing machine model.

Dagstuhl Seminar Series

Buchausstellung

Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.