Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9652882 | Journal of Symbolic Computation | 2005 | 17 Pages |
Abstract
One approach for computations with special functions in computer algebra is the systematic use of analytic functions whenever possible. This naturally leads to problems of how to answer questions about analytic functions in a fully effective way. Such questions comprise the determination of the radius of convergence or the evaluation of the analytic continuation of the function at the endpoint of a broken line path. In this paper, we propose a first definition for the notion of an effective analytic function and we show how to effectively solve several types of differential equations in this context. We will limit ourselves to functions in one variable.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Joris van der Hoeven,