| 2001 | Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers Jens Blanck, Vasco Brattka, Peter Hertling |
| 2000 | A Computable Spectral Theorem. Martin Ziegler, Vasco Brattka |
| 2000 | A Generic Root Operation for Exact Real Arithmetic. Namhyun Hur, James H. Davenport |
| 2000 | A Survey of Exact Arithmetic Implementations. Paul Gowland, David R. Lester |
| 2000 | Admissible Representations of Limit Spaces. Matthias Schröder |
| 2000 | Banach-Mazur Computable Functions on Metric Spaces. Peter Hertling |
| 2000 | Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions. Dimiter Skordev |
| 2000 | Computabilities of Fine-Continuous Functions. Takakazu Mori |
| 2000 | Computational Dimension of Topological Spaces. Hideki Tsuiki |
| 2000 | Computing a Required Absolute Precision from a Stream of Linear Fractional Transformations. Marko Krznaric |
| 2000 | Effective Contraction Theorem and Its Application. Hiroyasu Kamo |
| 2000 | Effective Fixed Point Theorem over a Non-computably Separable Metric Space. Izumi Takeuti |
| 2000 | Effectivity of Regular Spaces. Jens Blanck |
| 2000 | Exact Real Arithmetic Systems: Results of Competition. Jens Blanck |
| 2000 | Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. Margarita V. Korovina, Oleg V. Kudinov |
| 2000 | Is the Linear Schrödinger Propagator Turing Computable? Klaus Weihrauch, Ning Zhong |
| 2000 | On Computable Metric Spaces Tietze-Urysohn Extension Is Computable. Klaus Weihrauch |
| 2000 | On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. Ulrich Kohlenbach |
| 2000 | Polynomially Time Computable Functions over p-Adic Fields. George Kapoulas |
| 2000 | Some Properties of the Effective Uniform Topological Space. Yoshiki Tsujii, Mariko Yasugi, Takakazu Mori |
| 2000 | Standard Representations of Effective Metric Spaces. Armin Hemmerling |
| 2000 | The Degree of Unsolvability of a Real Number. Anthony J. Dunlop, Marian Boykan Pour-El |
| 2000 | The Uniformity Conjecture. Daniel Richardson |
| 2000 | The iRRAM: Exact Arithmetic in C++. Norbert Th. Müller |
| 2000 | delta-Approximable Functions. Charles Meyssonnier, Paolo Boldi, Sebastiano Vigna |