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
Algorithm 895: a continued fractions package for special functions
Source
ACM transactions on mathematical software - ISSN 0098-3500-36:3 (2009) p. 15,1-15,20
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