## Section: New Software and Platforms

### DDMF

*Dynamic Dictionary of Mathematical Functions*

Functional Description: Web site consisting of interactive tables of mathematical formulas on elementary and special functions. The formulas are automatically generated by OCaml and computer-algebra routines. Users can ask for more terms of the expansions, more digits of the numerical values, proofs of some of the formulas, etc.