2. CCA Conf. 2005:
Kyoto,
Japan
Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch (Eds.):
CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan.
Informatik Berichte 326-7/2005 FernUniversität Hagen, Germany 2005 BibTeX
Invited Papers
Contributed Papers
- Yohji Akama, Shinji Iizuka:
Real Number Representations of Graph-Directed IFS Attractors.
3-24 BibTeX
- Andrej Bauer, Paul Taylor:
The Dedekind Reals in Abstract Stone Duality.
25-64 BibTeX
- Douglas S. Bridges, Robin Havea, Peter Schuster:
Ideals in Constructive Banach Algebra Theory.
65-75 BibTeX
- Douglas S. Bridges, Luminita Vîta:
An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y).
77-89 BibTeX
- Douglas S. Bridges, Luminita Vîta:
Proximal Connectedness.
91-101 BibTeX
- Santiago Figueira, Frank Stephan, Guohua Wu:
Randomness and Universal Machines.
103-116 BibTeX
- Tanja Grubba, Klaus Weihrauch:
A Computable Version of Dini's Theorem for Topological Spaces.
117-129 BibTeX
- Peter Hertling:
A Sequentially Computable Function that is not Effectively Continous at any Point.
131-148 BibTeX
- Hiroyasu Kamo:
Computability and Computable Uniqueness of Urysohn's Universal Metric Space.
149-159 BibTeX
- Tien D. Kieu:
Mathematical Computability Questions for some Classes of Linear and Non-Linear Differential Equations Originated from Hilbert's Tenth Problem.
161-168 BibTeX
- Branimir Lambov:
RealLib: an Efficient Implementation of Exact Real Arithmetic.
169-175 BibTeX
- Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi:
Fine Computable Functions and Effective Fine Convergence.
177-197 BibTeX
- Robert Rettinger, Xizhong Zheng:
A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers.
199-209 BibTeX
- Matthias Schröder, Alex K. Simpson:
Representing Probability Measures using Probabilistic Processes.
211-226 BibTeX
- Paul Taylor:
A Lambda Calculus for Real Analysis.
227-266 BibTeX
- Klaus Weihrauch:
Multi-Functions on Multi-Represented Sets are Closed under Flowchart Programming.
267-300 BibTeX
- Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii:
Effective Sequence of Uniformities and its Effective Limit.
301-318 BibTeX
- Satoru Yoshida:
Generalized Functions with Pseudobounded Support in Constructive Mathematics.
319-340 BibTeX
- Fuxiang Yu, Arthur W. Chou, Ker-I Ko:
On the Complexity of Finding Circumscribed Rectangles for a Two-Dimensional Domain.
341-355 BibTeX
- Martin Ziegler:
Effectively Open Real Functions.
357-374 BibTeX
Satellite Seminars
Copyright © Sat May 16 23:00:45 2009
by Michael Ley (ley@uni-trier.de)
