# How are real-analytic functions encoded in computer algebra?

I would like to know how are encoded the real-analytic functions on the interval by the computers. When I think in a real-analytic function I just think in a composition of the ''typical'' analytic functions of every day, in all of this cases it is possible to find an ''exact''(because there is an explicit formula for the taylor expansion at any point) representation of these functions. I want also to ask if someone could give an example of a real-analytic function for which the representation in a computer is very bad behaves.

-
Regarding computer representation, there are two distinct issues: whether you ask for numerical or symbolic computation. Please clarify what you are referring to. – Loïc Teyssier Feb 8 '13 at 13:00
I mean symbolic computation. – Umberto Feb 8 '13 at 13:06
Then Taylor expansion is not your best friend there, since the sum contains infinitely many terms. In general a CAS consider only elementary analytic function : finite sum/product/composition/inverse of powers of x and exponential, from which you build what you call "typical everyday" functions. It uses its functional relations (e.g. $\exp′=\exp$ or $\cos^2+\sin^2=1$). When you add transcendents (e.g. Bessel functions) the CAS also uses the functional equations it satisfies to simplify expressions. Just like the everyday mathematician. I do believe the CAS never uses a Taylor expansion. – Loïc Teyssier Feb 8 '13 at 13:50

The function $\sum \frac{x^n}{n^n}$ has been discusssed. Other choices for the denominator might also give convergent functions defined by power series whose behavior is complicated. Maybe that is relevant.