Christoph Koutschan and Victor H. Moll (2010) “The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs”, Scientia Series A: Mathematical Sciences, 20, pp. 93–111. doi:10.71712/.