Uniform computational complexity of Taylor series
14th International Colloquium on Automata, languages and programming
An effective Riemann mapping theorem
Theoretical Computer Science - Special issue on computability and complexity in analysis
Computable analysis: an introduction
Computable analysis: an introduction
The computational complexity of some julia sets
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
A Fast Algorithm for Julia Sets of Hyperbolic Rational Functions
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In this paper we introduce computable and time bounded Riemann surfaces, based on the classical abstract definition by charts. Building upon this definition we discuss computable versions of several classical results, such as the existence of complete continuations of holomorphic functions, universal coverings and the uniformization theorem (for some cases).Though we state most of our results for computable surfaces, many of them can also be transformed to a uniform version, i.e. based on representations of the class of Riemann surfaces (modulo conformal equivalence).