Christoph Koutschan y Victor H. Moll, «The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs», Sci. Ser. A Math. Sci. (N.S.), vol. 20, pp. 93–111, ago. 2025, doi: 10.71712/.