Christoph Koutschan y Victor H. Moll (2025) «The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs», Scientia, 20, pp. 93–111. doi:10.71712/.