An effective Carathéodory theorem
From MaRDI portal
Publication:692891
DOI10.1007/s00224-011-9356-1zbMath1277.03063arXiv1106.4803MaRDI QIDQ692891
Publication date: 6 December 2012
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1106.4803
Dirichlet problem; conformal mapping; local connectivity; homeomorphism; parameterization; complex analysis; computable analysis; constructive analysis; Carathéodory extension; effective local connectivity
03F60: Constructive and recursive analysis
30C35: General theory of conformal mappings
03D80: Applications of computability and recursion theory
Related Items
Computing links and accessing arcs, Computable Complex Analysis, Computable Geometric Complex Analysis and Complex Dynamics, Computable Carathéodory theory, Computing boundary extensions of conformal maps
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Effective versions of local connectivity properties
- The constructive Jordan curve theorem
- An effective Riemann Mapping Theorem
- Plottable Real Number Functions and the Computable Graph Theorem
- Effectiveness for Embedded Spheres and Balls
- Degrees of unsolvability of continuous functions