Until now, the area of symbolic computation has mainly focused on the manipulation of algebraic expressions. It would be interesting to apply a similar spirit of “exact computations” to the field of mathematical analysis.

One important step for such a project is the ability to compute with computable complex numbers and computable analytic functions. Such computations include effective analytic continuation, the exploration of Riemann surfaces and the study of singularities. This paper aims at providing some first contributions in this direction, both from a theoretical point of view (such as precise definitions of computable Riemann surfaces and computable analytic functions) and a practical one (how to compute bounds and analytic continuations in a reasonably efficient way).

We started to implement some of the algorithms in the Mmxlib library. However, during the implementation, it became apparent that further study was necessary, giving rise to the present paper.

Keywords: analytic continuation, Riemann surface, algorithm, differential equation, convolution equation, relaxed power series, error bound

A.M.S. subject classification: 03F60, 30-04, 30B40, 30F99

View: Html, TeXmacs, Pdf, BibTeX