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