ESF: an automatically generated encyclopedia of special functions

Authors:
Ludovic Meunier;Bruno Salvy
Affiliations:
INRIA Rocquencourt, Le Chesnay Cedex, France;INRIA Rocquencourt, Le Chesnay Cedex, France
Venue:
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Year:
2003

Citing 11
Cited 6

Enumerative combinatorics

Enumerative combinatorics
A holonomic systems approach to special functions identities

Journal of Computational and Applied Mathematics
Hypergeometric solutions of linear recurrences with polynomial coefficients

Journal of Symbolic Computation - Special issue on symbolic computation in combinatorics
GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable

ACM Transactions on Mathematical Software (TOMS)
Asymptotic expansions of exp-log functions

ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Factorization of differential operators with rational functions coefficients

Journal of Symbolic Computation
Non-commmutative elimination in ore algebras proves multivariate identities

Journal of Symbolic Computation
Fast evaluation of holonomic functions

Theoretical Computer Science - Special issue on real numbers and computers
Towards a general theory of special functions

Communications of the ACM
Towards better simplification of elementary functions

Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,

Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,

MAD: a flexible system for authoring mathematical documents

ACM SIGSAM Bulletin
Computing Properties of Numerical Imperative Programs by Symbolic Computation

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
What Might "Understand a Function" Mean?

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
NumGfun: a package for numerical and analytic computation with D-finite functions

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
The dynamic dictionary of mathematical functions (DDMF)

ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Computing Properties of Numerical Imperative Programs by Symbolic Computation

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz

Quantified Score

Hi-index	0.00

Visualization

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.