The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. Sci. Ser. A Math. Sci. (N.S.). 2010;20:93-111. Accessed April 20, 2025. https://revistas.usm.cl/scientia/article/view/155