Computability of Analytic Functions with Analytic Machines

  • Authors:
  • Tobias Gärtner;Günter Hotz

  • Affiliations:
  • Max Planck Institut für Informatik, Saarbrücken;Fachbereich für Informatik, Universität des Saarlandes, Saarbrücken,

  • Venue:
  • CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present results concerning analytic machines, a model of real computation introduced by Hotz which extends the well known Blum, Shub and Smale machines by infinite converging computations. We use the machine model to define computability of complex analytic (i.e. holomorphic) functions and examine in particular the class of analytic functions which have analytically computable power series expansions. We show that this class is closed under the basic analytic operations composition, local inversion and analytic continuation.