Verified error bounds for the real gamma function using double exponential formula over semi-infinite interval

From MaRDI portal
Publication:2807839