Title
Validated computation of certain hypergeometric functions
Abstract
We present an efficient algorithm for the validated high-precision computation of real continued fractions, accurate to the last digit. The algorithm proceeds in two stages. In the first stage, computations are done in double precision. A forward error analysis and some heuristics are used to obtain an a priori error estimate. This estimate is used in the second stage to compute the fraction to the requested accuracy in high precision (adaptively incrementing the precision for reasons of efficiency). A running error analysis and techniques from interval arithmetic are used to validate the result. As an application, we use this algorithm to compute Gauss and confluent hypergeometric functions when one of the numerator parameters is a positive integer.
Year
DOI
Venue
2011
10.1145/2049673.2049675
ACM Trans. Math. Softw.
Keywords
Field
DocType
double precision,high-precision computation,error estimate,validated computation,certain hypergeometric function,confluent hypergeometric function,error analysis,interval arithmetic,high precision,efficient algorithm,forward error analysis,algorithm proceed,continued fraction,continued fractions,hypergeometric function,hypergeometric functions
Hypergeometric function,Integer,Discrete mathematics,Mathematical optimization,A priori and a posteriori,Double-precision floating-point format,Algorithm,Heuristics,Interval arithmetic,Mathematics,Fraction (mathematics),Computation
Journal
Volume
Issue
ISSN
38
2
0098-3500
Citations 
PageRank 
References 
2
0.42
3
Authors
3
Name
Order
Citations
PageRank
Michel Colman120.76
Annie Cuyt216141.48
Joris Van Deun37010.51