You have Guest access.
Log In
Jens Blanck, Vasco Brattka and Peter Hertling
Front matter
1-15
Effectivity of Regular Spaces
16-29
The Degree of Unsolvability of a Real Number
30-47
A Survey of Exact Arithmetic Implementations
48-68
Standard Representations of Effective Metric Spaces
69-81
Banach-Mazur Computable Functions on Metric Spaces
82-87
A Generic Root Operation for Exact Real Arithmetic
88-100
Effective Contraction Theorem and Its Application
101-118
Polynomially Time Computable Functions over p-Adic Fields
119-145
On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems
146-168
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory
169-186
Computing a Required Absolute Precision from a Stream of Linear Fractional Transformations
187-199
δ-Approximable Functions
200-221
Computabilities of Fine-Continuous Functions
222-252
The iRRAM: Exact Arithmetic in C++
253-272
The Uniformity Conjecture
273-295
Admissible Representations of Limit Spaces
296-309
Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions
310-322
Effective Fixed Point Theorem over a Non-Computably Separable Metric Space
323-335
Computational Dimension of Topological Spaces
336-356
Some Properties of the Effective Uniform Topological Space
357-368
On Computable Metric Spaces Tietze-Urysohn Extension Is Computable
369-377
Is the Linear Schrödinger Propagator Turing Computable?
378-388
A Computable Spectral Theorem
389-393
Exact Real Arithmetic Systems: Results of Competition
Back matter
Jens Blanck
Anthony J. Dunlop and Marian Boykan Pour-El
Paul Gowland and David Lester
Armin Hemmerling
Peter Hertling
Namhyun Hur and James H. Davenport
Hiroyasu Kamo
George Kapoulas
Ulrich Kohlenbach
Margarita V. Korovina and Oleg V. Kudinov
Marko Krznarić
Charles Meyssonnier, Paolo Boldi and Sebastiano Vigna
Takakazu Mori
Norbert Th. Müller
Daniel Richardson
Matthias Schröder
Dimiter Skordev
Izumi Takeuti
Hideki Tsuiki
Yoshiki Tsujii, Mariko Yasugi and Takakazu Mori
Klaus Weihrauch
Klaus Weihrauch and Ning Zhong
Martin Ziegler and Vasco Brattka
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info