Volume 202, March 2008

Proceedings of the Fourth International Conference on Computability and Complexity in Analysis (CCA 2007)

• 
  Ruth Dillhage, Tanja Grubba, Andrea Sorbi, Klaus Weihrauch, Ning Zhong: Preface. 1-2
• 
  Hong Lu, Klaus Weihrauch: Computable Riesz Representation for Locally Compact Hausdorff Spaces. 3-12
• 
  Philippe Moser: On the Convergence of Fourier Series of Computable Lebesgue Integrable Functions. 13-18
• 
  Marian Alexandru Baroni, Douglas S. Bridges: Continuity Properties of Preference Relations. 19-25
• 
  Timothy McNicholl: Uniformly Computable Aspects of Inner Functions. 27-36
• 
  Dimiter Skordev: e²-computability of e, pi and Other Famous Constants. 37-47
• 
  Daniel S. Graça, Jorge Buescu, Manuel Lameiras Campagnolo: Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs. 49-57
• 
  Victor L. Selivanov: On the Wadge Reducibility of k-Partitions. 59-71
• 
  Stéphane Le Roux, Martin Ziegler: Singular Coverings and Non-Uniform Notions of Closed Set Computability. 73-88
• 
  Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King: Effective Symbolic Dynamics. 89-99
• 
  Xishun Zhao, Norbert Th. Müller: Complexity of Operators on Compact Sets. 101-119
• 
  Ker-I Ko, Fuxiang Yu: On the Complexity of Convex Hulls of Subsets of the Two-Dimensional Plane. 121-135
• 
  Volker Bosserhoff: Notions of Probabilistic Computability on Represented Spaces. 137-170
• 
  José Raymundo Marcial-Romero, M. Andrew Moshier: Sequential Real Number Computation and Recursive Relations. 171-189
• 
  Gabriel Ciobanu, Danut Rusu: Supermetrics over Apartness Lattice-Ordered Semigroup. 191-200
• 
  Prashant Batra: Newton's method and the Computational Complexity of the Fundamental Theorem of Algebra. 201-218
• 
  Dianchen Lu, Qingyan Wang: Computing the Solution of the m-Korteweg-de Vries Equation on Turing Machines. 219-236
• 
  Tanja Grubba, Klaus Weihrauch, Yatao Xu: Effectivity on Continuous Functions in Topological Spaces. 237-254
• 
  Xizhong Zheng: Finitely Bounded Effective Computability. 255-265
• 
  Matthias Schröder: On the Relationship between Filter Spaces and Weak Limit Spaces. 267-277
• 
  Takakazu Mori, Mariko Yasugi, Yoshiki Tsujii: Integral of Fine Computable functions and Walsh Fourier series. 279-293
• 
  Jack H. Lutz, Klaus Weihrauch: Connectivity Properties of Dimension Level Sets. 295-304
• 
  Andrei S. Morozov, Margarita V. Korovina: Remarks on Sigma-definability without the equality test over the Reals. 305-313
• 
  Robert Rettinger: On the Computability of Blochs Constant. 315-322
• 
  Satyadev Nandakumar: A Characterization of Constructive Dimension. 323-337
• 
  Ruth Dillhage: Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus. 339-364
• 
  Andrej Bauer, Iztok Kavkler: Implementing Real Numbers With RZ. 365-384
• 
  Christoph Spandl: Computability of Topological Pressure for Shifts of Finite Type with Applications in Statistical Physics. 385-401