Validated special functions software

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

Algorithm 895: a continued fractions package for special functions

ACM transactions on mathematical software - ISSN 0098-3500-36:3 (2009) p. 15,1-15,20

Validated evaluation of special mathematical functions

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