| 2005 | A Computable Version of Dini's Theorem for Topological Spaces. Tanja Grubba, Klaus Weihrauch |
| 2005 | A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers. Robert Rettinger, Xizhong Zheng |
| 2005 | A Lambda Calculus for Real Analysis. Paul Taylor |
| 2005 | A Sequentially Computable Function that is not Effectively Continous at any Point. Peter Hertling |
| 2005 | An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). Douglas S. Bridges, Luminita Vîta |
| 2005 | CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch |
| 2005 | Compactness in Topology and Computation. Martín Hötzel Escardó |
| 2005 | Computability and Computable Uniqueness of Urysohn's Universal Metric Space. Hiroyasu Kamo |
| 2005 | Computable Analysis via Representations. Peter Hertling |
| 2005 | Computable Versions of Basic Theorems in Functional Analysis. Atsushi Yoshikawa, Mariko Yasugi |
| 2005 | Design of Neuromorphic Hardwares. Takashi Kohno |
| 2005 | Effective Sequence of Uniformities and its Effective Limit. Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii |
| 2005 | Effectively Open Real Functions. Martin Ziegler |
| 2005 | Fine Computable Functions and Effective Fine Convergence. Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi |
| 2005 | Generalized Functions with Pseudobounded Support in Constructive Mathematics. Satoru Yoshida |
| 2005 | Ideals in Constructive Banach Algebra Theory. Douglas S. Bridges, Robin Havea, Peter Schuster |
| 2005 | Implementing Exact Real Numbers Efficiently. Norbert Th. Müller |
| 2005 | Low Temperature Limit of Equations - Hidden Discrete Structure. Daisuke Takahashi |
| 2005 | Mathematical Computability Questions for some Classes of Linear and Non-Linear Differential Equations Originated from Hilbert's Tenth Problem. Tien D. Kieu |
| 2005 | Molecular Computing and Real Number Computing. Masami Hagiya |
| 2005 | Multi-Functions on Multi-Represented Sets are Closed under Flowchart Programming. Klaus Weihrauch |
| 2005 | On the Complexity of Finding Circumscribed Rectangles for a Two-Dimensional Domain. Fuxiang Yu, Arthur W. Chou, Ker-I Ko |
| 2005 | Proximal Connectedness. Douglas S. Bridges, Luminita Vîta |
| 2005 | Randomness and Universal Machines. Santiago Figueira, Frank Stephan, Guohua Wu |
| 2005 | Real Number Representations of Graph-Directed IFS Attractors. Yohji Akama, Shinji Iizuka |
| 2005 | RealLib: an Efficient Implementation of Exact Real Arithmetic. Branimir Lambov |
| 2005 | Realizability as Connection between Constructive and Computable Mathematics. Andrej Bauer |
| 2005 | Representing Probability Measures using Probabilistic Processes. Matthias Schröder, Alex K. Simpson |
| 2005 | Some Aspects of Computable Functional Analysis. Vasco Brattka |
| 2005 | The Dedekind Reals in Abstract Stone Duality. Andrej Bauer, Paul Taylor |