The Dynamic Dictionary of Mathematical Functions (DDMF)

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

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〉

Partager

Métriques

Consultations de la notice

450

Téléchargements de fichiers

371