TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 9717

Computability and Complexity in Analysis

( Apr 21 – Apr 25, 1997 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9717

Organizers
  • A. Nerode (Cornell)
  • K. Weihrauch (Hagen)
  • Ker-I Ko (Stony Brook)




Impacts

Summary

The seminar “Computability and Complexity in Analysis” was held in Dagstuhl from April 21 to 25, 1997. It was attended by 43 computer scientists, mathematicians and logicians who are interested in the diverse areas of computational analysis. The 33 talks presented here represented many different theories and approaches in this topic.

In the foundational study, they included constructive analysis (of E. Bishop), recursive analysis, type-2 theory of effectivity and the domaintheoretic approach. Classical theories on real-valued functions have been extended to more general functional spaces. Specific problems in computable analysis, such as the Riemann mapping theorem and problems in calculus of variations, have also been presented. In the complexity study, a number of talks were about the modifications and comparisons of three different models: Turing machine-based complexity theory, information-based complexity theory (IBC) and real RAM-based complexity theory (BSS). More practical issues, including interval analysis, automatic result verification, bounded-value problem, on-line computation and geometric and stochastic modelling, were also presented.

Copyright

Participants
  • A. Nerode (Cornell)
  • K. Weihrauch (Hagen)
  • Ker-I Ko (Stony Brook)

Related Seminars
  • Dagstuhl Seminar 99461: Computability and Complexity in Analysis (1999-11-14 - 1999-11-19) (Details)
  • Dagstuhl Seminar 01461: Computability and Complexity in Analysis (2001-11-11 - 2001-11-16) (Details)