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