2010. The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. Scientia Series A: Mathematical Sciences. 20, (Aug. 2010), 93–111.