Publication
Title
Validated evaluation of special mathematical functions
Author
Abstract
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-known being the Abramowitz and Stegun handbook [1]. But up to this date, no environment offers routines for the provable correct evaluation of these special functions. We point out how series and limit-periodic continued fraction representations of the functions can be helpful in this respect. Our scalable precision technique is mainly based on the use of sharpened a priori truncation and round-off error upper bounds, in case of real arguments. The implementation is validated in the sense that it returns a sharp interval enclosure for the requested function evaluation, at the same cost as the evaluation.
Language
English
Source (book)
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.]
Publication
Berlin : Springer , 2008
ISBN
978-3-540-85109-7
Volume/pages
p. 206-216
ISI
000258392600016
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identifier
Creation 27.05.2009
Last edited 17.06.2024
To cite this reference