The Dynamic Dictionary of Mathematical Functions (DDMF) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

The Dynamic Dictionary of Mathematical Functions (DDMF)

Alexandre Benoit
Frédéric Chyzak
Alexis Darrasse
  • Function : Author
Stefan Gerhold
  • Function : Author
Marc Mezzarobba
Bruno Salvy

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.
Fichier principal
Vignette du fichier
ddmf.pdf (135.61 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00783048 , version 1 (31-01-2013)

Identifiers

  • HAL Id : hal-00783048 , version 1

Cite

Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, et al.. The Dynamic Dictionary of Mathematical Functions (DDMF). ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41. ⟨hal-00783048⟩

Collections

INRIA INRIA2
345 View
893 Download

Share

Gmail Facebook Twitter LinkedIn More