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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.scico.2013.05.006 | Science of Computer Programming |
Keywords | DocType | Volume |
scalable precision technique,limit-periodic continued fraction representation,special mathematical functions,real argument,numerical computation,validated evaluation,round-off error,special function,provable correct evaluation,large collection,requested function evaluation,stegun handbook,continued fraction,upper bound,special functions | Conference | 90 |
Issue | ISSN | Citations |
PA | 0167-6423 | 1 |
PageRank | References | Authors |
0.40 | 8 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franky Backeljauw | 1 | 4 | 1.93 |
Stefan Becuwe | 2 | 14 | 4.28 |
Annie Cuyt | 3 | 161 | 41.48 |
Joris Van Deun | 4 | 70 | 10.51 |
Daniel W. Lozier | 5 | 1 | 0.40 |