ESF: an automatically generated encyclopedia of special functions

ABSTRACT

We present our on-going work on the automatic generation of an encyclopedia of special functions on the web, called The Encyclopedia of Special Functions (ESF)footnoteurlhttp://algo.inria.fr/esf. All mathematical formulæ in the ESF are computed, typeset and displayed without any human intervention. This is achieved by exploiting a collection of computer algebra algorithms in a systematic way, on top of a specially designed data structure for a class of special functions.

REFERENCES

• 1: Milton Abramowitz, Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,, Dover Publications, Incorporated, 1974
• 2: George E. Andrews, Richard Askey, and Ranjan Roy. Special functions, volume 71. Cambridge University Press, 1999.
• 3: Russell Bradford , James H. Davenport, Towards better simplification of elementary functions, Proceedings of the 2002 international symposium on Symbolic and algebraic computation, p.16-22, July 07-10, 2002, Lille, France [doi>10.1145/780506.780509]
• 4: D. V. Chudnovsky and G. V. Chudnovsky. Approximations and complex multiplication according to Ramanujan. In Ramanujan revisited, pages 375--472. Academic Press, Boston, MA, 1988.
• 5: Frédéric Chyzak. Fonctions holonomes en calcul formel. Phd thesis, École polytechnique, 1998.
• 6: Frédéric Chyzak , Bruno Salvy, Non-commmutative elimination in ore algebras proves multivariate identities, Journal of Symbolic Computation, v.26 n.2, p.187-227, Aug. 1998 [doi>10.1006/jsco.1998.0207]
• 7: J. Della Dora and E. Tournier. Solutions formelles d'équations différentielles au voisinage de points singuliers réguliers. Technical Report 239, IMAG, Grenoble, 1981.
• 8: E. L. Ince. Ordinary differential equation. Dover Publications, New York, 1956. Reprint of the 1926 edition.
• 9: Michèle Loday-Richaud. Solutions formelles des systèmes différentiels linéaires méromorphes et sommation. Expositiones Mathematicæ, 13:116--162, 1995.
• 10: B. Malgrange. Sur la réduction formelle des équations différentielles linéaires à singularités irrégulières. Grenoble, 1979.
• 11: Joel Moses, Towards a general theory of special functions, Communications of the ACM, v.15 n.7, p.550-554, July 1972 [doi>10.1145/361454.361466]
• 12: Marko Petkovšek, Hypergeometric solutions of linear recurrences with polynomial coefficients, Journal of Symbolic Computation, v.14 n.2-3, p.243-264, Aug./Sept. 1992 [doi>10.1016/0747-7171(92)90038-6]
• 13: Marko Petkovvsek, Herbert S. Wilf, and Doron Zeilberger. Α=Β. A. K. Peters Ltd., Wellesley, MA, 1996.
• 14: Daniel Richardson , Bruno Salvy , John Shackell , Joris Van der Hoeven, Asymptotic expansions of exp-log functions, Proceedings of the 1996 international symposium on Symbolic and algebraic computation, p.309-313, July 24-26, 1996, Zurich, Switzerland [doi>10.1145/236869.237089]
• 15: Bruno Salvy , Paul Zimmerman, GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable, ACM Transactions on Mathematical Software (TOMS), v.20 n.2, p.163-177, June 1994 [doi>10.1145/178365.178368]
• 16: R P Stanley, Enumerative combinatorics, Wadsworth Publ. Co., Belmont, CA, 1986
• 17: Évelyne Tournier. Solutions formelles d'équations différentielles. Doctorat d'état, Université scientifique, technologique et médicale de Grenoble, 1987.
• 18: Joris van der Hoeven, Fast evaluation of holonomic functions, Theoretical Computer Science, v.210 n.1, p.199-215, Jan. 6, 1999 [doi>10.1016/S0304-3975(98)00102-9]
• 19: Mark Van Hoeij, Factorization of differential operators with rational functions coefficients, Journal of Symbolic Computation, v.24 n.5, p.537-561, Nov. 1997 [doi>10.1006/jsco.1997.0151]
• 20: Wolfgang Wasow. Asymptotic expansions for ordinary differential equations. Dover Publications Inc., New York, 1987. Reprint of the John Wiley 1976 edition.
• 21: Doron Zeilberger, A holonomic systems approach to special functions identities, Journal of Computational and Applied Mathematics, v.32 n.3, p.321-368, Nov. 27, 1990 [doi>10.1016/0377-0427(90)90042-X]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.2 Algorithms
          Subjects: Algebraic algorithms

General Terms:
Algorithms

Keywords:
D-finite functions, special functions