The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. Sci. Ser. A Math. Sci. (N.S.) [Internet]. 2010 Aug. 21 [cited 2025 Apr. 20];20:93-111. Available from: https://revistas.usm.cl/scientia/article/view/155