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