Validated special functions software

Source
Mathematical software ICMS 2010 : proceedings of the Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010 / Fukuda, Komei [edit.]; et al. [edit.]- () p. 32-34
Author(s)

Validated evaluation of special mathematical functions

Source
Intelligent computer mathematics: proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, July 28-August 1, 2008, Birmingham, England / Autexier, S. [edit.]; et al. [edit.]- () p. 206-216