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
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 : vendredi 25 mai 2018 - 12:02:05
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 | INRIA-ROCQ

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. 〈hal-00783048〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

450

Téléchargements de fichiers

371

Contact

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