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; 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

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>

Partager

Métriques

Consultations de
la notice

262

Téléchargements du document

266