Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2001

Computability and Complexity in Analysis

4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers

Editors:

  1. Jens Blanck

    1. University of Wales Swansea, Swansea, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vasco Brattka

    1. Informatikzentrum, FernUniversität Hagen, Hagen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Hertling

    1. Informatikzentrum, FernUniversität Hagen, Hagen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2064)

Conference series link(s): CCA: International Workshop on Computability and Complexity in Analysis

Conference proceedings info: CCA 2000.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (24 papers)

  1. Front Matter

    Pages I-VIII
    PDF

  2. Computability and Complexity in Analysis

    1. Effectivity of Regular Spaces

      • Jens Blanck
      Pages 1-15

    2. The Degree of Unsolvability of a Real Number

      • Anthony J. Dunlop, Marian Boykan Pour-El
      Pages 16-29

    3. A Survey of Exact Arithmetic Implementations

      • Paul Gowland, David Lester
      Pages 30-47

    6. A Generic Root Operation for Exact Real Arithmetic

      • Namhyun Hur, James H. Davenport
      Pages 82-87

    12. δ-Approximable Functions

      • Charles Meyssonnier, Paolo Boldi, Sebastiano Vigna
      Pages 187-199

    13. Computabilities of Fine-Continuous Functions

      • Takakazu Mori
      Pages 200-221

    14. The iRRAM: Exact Arithmetic in C++

      • Norbert Th. Müller
      Pages 222-252

    15. The Uniformity Conjecture

      • Daniel Richardson
      Pages 253-272

    16. Admissible Representations of Limit Spaces

      • Matthias Schröder
      Pages 273-295

    19. Computational Dimension of Topological Spaces

      • Hideki Tsuiki
      Pages 323-335
Back to top

Other Volumes

  1. Computability and Complexity in Analysis

Back to top

About this book

The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA’95 in Hagen, Germany, CCA’96 in Trier, Germany, and CCA’98 in Brno, Czech Republic. About 40 participants from the countries United Kingdom, Germany, Japan, Italy, Russia, France, Denmark, Greece, and Ireland contributed to the success of this meeting. Altogether, 28 talkswere p- sented in Swansea. These proceedings include 23 papers which represent a cro- section through recent research on computability and complexity in analysis. The workshop succeeded in bringing together people interested in computability and complexity aspects of analysis and in exploring connections with nume- cal methods, physics and, of course, computer science. It was rounded o by a number of talks and papers on exact computer arithmetic and by a competition of v e implemented systems. A report on this competition has been included in these proceedings. We would like to thank the authors for their contributions and the referees for their careful work, and we hope for further inspiring and constructive meetings of the same kind. April 2001 Jens Blanck Vasco Brattka Peter Hertling Organization CCA2000was hosted by the Department of Computer Science of the University of Wales Swansea and took place on September 17{19, 2000.
Back to top

Keywords

Back to top

Editors and Affiliations

  • University of Wales Swansea, Swansea, UK

    Jens Blanck

  • Informatikzentrum, FernUniversität Hagen, Hagen, Germany

    Vasco Brattka, Peter Hertling

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation