Abstract is missing.
- Effectivity of Regular SpacesJens Blanck. 1-15 [doi]
- The Degree of Unsolvability of a Real NumberAnthony J. Dunlop, Marian Boykan Pour-El. 16-29 [doi]
- A Survey of Exact Arithmetic ImplementationsPaul Gowland, David Lester. 30-47 [doi]
- Standard Representations of Effective Metric SpacesArmin Hemmerling. 48-68 [doi]
- Banach-Mazur Computable Functions on Metric SpacesPeter Hertling. 69-81 [doi]
- A Generic Root Operation for Exact Real ArithmeticNamhyun Hur, James H. Davenport. 82-87 [doi]
- Effective Contraction Theorem and Its ApplicationHiroyasu Kamo. 88-100 [doi]
- Polynomially Time Computable Functions over p-Adic FieldsGeorge Kapoulas. 101-118 [doi]
- On the Computational Content of the Krasnoselski and Ishikawa Fixed Point TheoremsUlrich Kohlenbach. 119-145 [doi]
- Formalisation of Computability of Operators and Real-Valued Functionals via Domain TheoryMargarita V. Korovina, Oleg V. Kudinov. 146-168 [doi]
- Computing a Required Absolute Precision from a Stream of Linear Fractional TransformationsMarko Krznaric. 169-186 [doi]
- delta-Approximable FunctionsCharles Meyssonnier, Paolo Boldi, Sebastiano Vigna. 187-199 [doi]
- Computabilities of Fine-Continuous FunctionsTakakazu Mori. 200-221 [doi]
- The iRRAM: Exact Arithmetic in C++Norbert Th. Müller. 222-252 [doi]
- The Uniformity ConjectureDaniel Richardson. 253-272 [doi]
- Admissible Representations of Limit SpacesMatthias Schröder. 273-295 [doi]
- Characterization of the Computable Real Numbers by Means of Primitive Recursive FunctionsDimiter Skordev. 296-309 [doi]
- Effective Fixed Point Theorem over a Non-computably Separable Metric SpaceIzumi Takeuti. 310-322 [doi]
- Computational Dimension of Topological SpacesHideki Tsuiki. 323-335 [doi]
- Some Properties of the Effective Uniform Topological SpaceYoshiki Tsujii, Mariko Yasugi, Takakazu Mori. 336-356 [doi]
- On Computable Metric Spaces Tietze-Urysohn Extension Is ComputableKlaus Weihrauch. 357-368 [doi]
- Is the Linear Schrödinger Propagator Turing Computable?Klaus Weihrauch, Ning Zhong 0002. 369-377 [doi]
- A Computable Spectral TheoremMartin Ziegler, Vasco Brattka. 378-388 [doi]
- Exact Real Arithmetic Systems: Results of CompetitionJens Blanck. 389-394 [doi]