An algorithm is presented for computing verified error bounds for the value of the real gamma function. It has been shown that the double exponential formula is one of the most efficient methods for calculating integrals of the form. Recently, an useful evaluation based on the double exponential formula over the semi-infinite interval has been proposed. However, the evaluation would be overflow when applied to the real gamma function directly. In this paper, we present a theorem so as to overcome the problem in such a case. Numerical results are presented for illustrating effectiveness of the proposed theorem in terms of the accuracy of the calculation.
CITATION STYLE
Yamanaka, N., Okayama, T., & Oishi, S. (2016). Verified error bounds for the real gamma function using double exponential formula over semi-infinite interval. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9582, pp. 224–228). Springer Verlag. https://doi.org/10.1007/978-3-319-32859-1_19
Mendeley helps you to discover research relevant for your work.