An Effective Carathéodory Theorem

By means of the property of effective local connectivity, the computability of finding the Carathéodory extension of a conformal map of a Jordan domain onto the unit disk is demonstrated.

[1]  Joseph S. Miller.  Effectiveness for Embedded Spheres and Balls , 2002, Electron. Notes Theor. Comput. Sci..

[2]  J. H. van Lint,et al.  Functions of one complex variable II , 1997 .

[3]  Steven G. Krantz,et al.  Function Theory of One Complex Variable , 2002 .

[4]  W. Rudin.  Real and complex analysis , 1968 .

[5]  Joseph S. Miller,et al.  Degrees of unsolvability of continuous functions , 2004, Journal of Symbolic Logic.

[6]  Klaus Weihrauch,et al.  Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[7]  Timothy H. McNicholl,et al.  Effective Versions of Local Connectivity Properties , 2011, Theory of Computing Systems.

[8]  Fred Richman,et al.  The constructive Jordan curve theorem , 1975 .

[9]  Vasco Brattka.  Plottable Real Number Functions and the Computable Graph Theorem , 2008, SIAM J. Comput..

[10]  Peter Hertling,et al.  Computability and complexity in analysis , 2006, J. Complex..

[11]  G. Pólya,et al.  Functions of One Complex Variable , 1998 .

[12]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[13]  Peter Hertling,et al.  The Effective Riemann Mapping Theorem , 1999, Theor. Comput. Sci..