The Dynamic Dictionary of Mathematical Functions (DDMF)

Alexandre Benoit 1 Frédéric Chyzak 1 Alexis Darrasse 1 Stefan Gerhold 1 Marc Mezzarobba 1 Bruno Salvy 1
1 ALGORITHMS - Algorithms
Inria Paris-Rocquencourt
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.
Type de document :
Communication dans un congrès
Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki. ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, pp.35-41, 2010, Lecture Notes in Computer Science; The Third International Congress on Mathematical Software (ICMS 2010)
Liste complète des métadonnées
https://hal.inria.fr/hal-00783048
Contributeur : Frédéric Chyzak <>
Soumis le : jeudi 31 janvier 2013 - 11:45:29
Dernière modification le : jeudi 31 janvier 2013 - 13:22:01
Document(s) archivé(s) le : mercredi 1 mai 2013 - 03:55:58

Fichier

ddmf.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00783048, version 1

Collections

INRIA

Citation

Alexandre Benoit, Frédéric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, et al.. The Dynamic Dictionary of Mathematical Functions (DDMF). Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Takayama, Nobuki. ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, pp.35-41, 2010, Lecture Notes in Computer Science; The Third International Congress on Mathematical Software (ICMS 2010). <hal-00783048>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

262

Téléchargements du document

266

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD