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 their use and computation, the most well-known being the Abramowitz and Stegun handbook (Abramowitz and Stegun, 1964) [1] and its successor (Olver et al. 0000) [2]. However, until now no environment offers routines for the provable correct multiprecision and radix-independent evaluation of these special functions. We point out how we make good use of series and limit-periodic continued fraction representations in a package that is being developed at the University of Antwerp. Our scalable precision technique is mainly based on the use of sharpened a priori truncation and round-off error upper bounds for 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. (C) 2013 Elsevier B.V. All rights reserved.
Language
English
Source (journal)
Science of computer programming. - Amsterdam
Publication
Amsterdam : 2014
ISSN
0167-6423
Volume/pages
90:A(2014), p. 2-20
ISI
000338387700002
Full text (Publisher's DOI)
Full text (publisher's version - intranet only)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 08.09.2014
Last edited 04.07.2017
To cite this reference