CCA C

16 papers

YearTitle / Authors
2011Real Analytic Machines and Degrees
Tobias Gärtner, Martin Ziegler
2010A Local to Global Principle for the Complexity of Riemann Mappings (Extended Abstract)
Robert Rettinger
2010A Rigorous Extension of the Schönhage-Strassen Integer Multiplication Algorithm Using Complex Interval Arithmetic
Thomas Steinke, Raazesh Sainudiin
2010A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract)
Ingo Battenfeld
2010Complete Multi-Representations of Sets in a Computable Measure Space
Yongcheng Wu
2010Computation with Advice
Vasco Brattka, Arno Pauly
2010Computational Complexity of Iterated Maps on the Interval (Extended Abstract)
Christoph Spandl
2010Computing the Solutions of the Combined Korteweg-de Vries Equation by Turing Machines
Dianchen Lu, Qingyan Wang, Rui Zheng
2010Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
2010Effective Capacity and Randomness of Closed Sets
Douglas Cenzer, Paul Brodhead
2010Making big steps in trajectories
Norbert Th. Müller, Margarita V. Korovina
2010NP-Logic Systems and Model-Equivalence Reductions
Yuping Shen, Xishun Zhao
2010On the Weak Computability of Continuous Real Functions
Matthew S. Bauer, Xizhong Zheng
2010Proceedings Seventh International Conference on Computability and Complexity in Analysis, CCA 2010, Zhenjiang, China, 21-25th June 2010.
Xizhong Zheng, Ning Zhong
2010The Cardinality of an Oracle in Blum-Shub-Smale Computation
Wesley Calvert, Ken Kramer, Russell G. Miller
2010The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function (Extended Abstract)
Vassilios Gregoriades