An effective Riemann mapping theorem
Theoretical Computer Science - Special issue on computability and complexity in analysis
Computable analysis: an introduction
Computable analysis: an introduction
Effectivity on Continuous Functions in Topological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
A Fast Algorithm for Julia Sets of Hyperbolic Rational Functions
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We introduce a system for computation on the extended complex plane based on the Type-Two Effectivity approach to computable analysis. Included are computations on meromorphic functions, open sets, and closed sets. Applications to Mobius transformations, boundaries of multiply connected domains, and conformal mapping of multiply connected domains are considered.