Validated evaluation of special mathematical functions
Source
Science of computer programming - ISSN 0167-6423-90:A (2014) p. 2-20
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
Continued fractions for special functions: handbook and software
Source
Lecture notes in computer science - ISSN 0302-9743-5492 (2009) p. 27-40
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
Reliable multiprecision evaluation of special functions
Source
ECMI newsletter - ISSN 1013-9338-39 (2006) p. 16-17