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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00783048
Contributor : Frédéric Chyzak <>
Submitted on : Thursday, January 31, 2013 - 11:45:29 AM
Last modification on : Friday, May 25, 2018 - 12:02:05 PM
Long-term archiving on : Wednesday, May 1, 2013 - 3:55:58 AM

File

ddmf.pdf
Files produced by the author(s)

Identifiers

  • 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). ICMS 2010 - Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.35-41. ⟨hal-00783048⟩

Share

Metrics

Record views

514

Files downloads

550