New Added

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers

Like Score+319

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
Original Title Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
Author Blanck, Jens, 1966-, Brattka, Vasco, 1966-, Hertling, Peter, 1965-
Publication date

Topics Mathematical analysis, Computable functions, Computational complexity
Publisher Berlin , New York : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
Computability and Complexity in Analysis: 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers
Author: Jens Blanck, Vasco Brattka, Peter Hertling
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42197-9
DOI: 10.1007/3-540-45335-0

Table of Contents:

  • Effectivity of Regular Spaces
  • The Degree of Unsolvability of a Real Number
  • A Survey of Exact Arithmetic Implementations
  • Standard Representations of Effective Metric Spaces
  • Banach-Mazur Computable Functions on Metric Spaces
  • A Generic Root Operation for Exact Real Arithmetic
  • Effective Contraction Theorem and Its Application
  • Polynomially Time Computable Functions over p-Adic Fields
  • On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems
  • Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
  • Computing a Required Absolute Precision from a Stream of Linear Fractional Transformations
  • δ-Approximable Functions
  • Computabilities of Fine-Continuous Functions
  • The iRRAM: Exact Arithmetic in C++
  • The Uniformity Conjecture
  • Admissible Representations of Limit Spaces
  • Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions
  • Effective Fixed Point Theorem over a Non-Computably Separable Metric Space
  • Computational Dimension of Topological Spaces
  • Some Properties of the Effective Uniform Topological Space

Includes bibliographical references and index

We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0