The Dynamic Dictionary of Mathematical Functions (DDMF) - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

The Dynamic Dictionary of Mathematical Functions (DDMF)

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-00783048 , version 1

Citer

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
400 Consultations
1159 Téléchargements

Partager

More