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.
This work was supported by the Microsoft Research-Inria Joint Centre.