Section: New Software and Platforms

DDMF

Dynamic Dictionary of Mathematical Functions

Functional Description: Web site consisting of interactive tables of mathematical formulas on elementary and special functions. The formulas are automatically generated by OCaml and computer-algebra routines. Users can ask for more terms of the expansions, more digits of the numerical values, proofs of some of the formulas, etc.

• Participants: Alexandre Benoit, Alexis Darrasse, Bruno Salvy, Christoph Koutschan, Frédéric Chyzak, Marc Mezzarobba, Maxence Guesdon, Stefan Gerhold and Thomas Gregoire

• Contact: Frédéric Chyzak

• URL: http://ddmf.msr-inria.inria.fr/1.9.1/ddmf