CCA C

20 papers

YearTitle / Authors
2002A Comparison of Certain Representations of Regularly Closed Sets.
Peter Hertling
2002A Natural Weak Limit Space with Admissible Representation which is not a Limit Space.
Matthias Schröder
2002Computability and Complexity in Analysis, CCA 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002
Vasco Brattka, Matthias Schröder, Klaus Weihrauch
2002Computability of Partial Delaunay Triangulation and Voronoi Diagram.
Ali Asghar Khanban, Abbas Edalat, André Lieutier
2002Computing Uniform Bounds.
Vasco Brattka
2002Effectively Absolute Continuity and Effective Jordan Decomposability.
Xizhong Zheng, Robert Rettinger, Burchard von Braunmühl
2002Effectiveness for Embedded Spheres and Balls.
Joseph S. Miller
2002Fixed Points on the Real Numbers without the Equality Test.
Margarita V. Korovina
2002Hypergeometric Functions in Exact Geometric Computation.
Zilin Du, Maria Eleftheriou, José E. Moreira, Chee-Keng Yap
2002On 0'-computable Reals.
George Barmpalias
2002Preface.
Vasco Brattka, Matthias Schröder, Klaus Weihrauch
2002Real Numbers and BDDs.
Norbert Th. Müller
2002Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis.
Iraj Kalantari, Larry Welch
2002Representations of Complete Uniform Spaces via Uniform Domains.
Hideki Tsuiki
2002Schnorr Randomness.
Rodney G. Downey, Evan J. Griffiths
2002The Computational Complexity of Some Julia Sets.
Robert Rettinger, Klaus Weihrauch
2002The Solution Operator of the Korteweg-de Vries Equation is Computable.
Klaus Weihrauch, Ning Zhong
2002Trivial Reals.
Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Frank Stephan
2002Two Notions of Sequential Computability of a Function with Jumps.
Mariko Yasugi, Yoshiki Tsujii
2002What can we do with a Solution?
Simon Langley, Daniel Richardson