The dynamic dictionary of mathematical functions (DDMF)

Authors:
Alexandre Benoit;Frédéric Chyzak;Alexis Darrasse;Stefan Gerhold;Marc Mezzarobba;Bruno Salvy
Affiliations:
Inria Paris-Rocquencourt, France;Inria Paris-Rocquencourt, France;Inria Paris-Rocquencourt, France;Inria Paris-Rocquencourt, France;Inria Paris-Rocquencourt, France;Inria Paris-Rocquencourt, France
Venue:
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Year:
2010

Citing 12
Cited 2

Integrals and series of elementary functions

Integrals and series of elementary functions
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)
An extension of Zeilberger's fast algorithm to general holonomic functions

Discrete Mathematics
ESF: an automatically generated encyclopedia of special functions

ISSAC '03 Proceedings of the 2003 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,
Chebyshev expansions for solutions of linear differential equations

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A non-holonomic systems approach to special function identities

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
NIST Handbook of Mathematical Functions

NIST Handbook of Mathematical Functions
NumGfun: a package for numerical and analytic computation with D-finite functions

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Effective bounds for P-recursive sequences

Journal of Symbolic Computation

Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Rigorous polynomial approximation using taylor models in Coq

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the main features of the Dynamic Dictionary of Mathematical Functions (version 1.5). It is a website consisting of interactive tables of mathematical formulas on elementary and special functions. The formulas are automatically generated by computer algebra routines. The user can ask for more terms of the expansions, more digits of the numerical values, or proofs of some of the formulas.