Christoph Koutschan; Victor H. Moll. The Integrals in Gradshteyn and Ryzhik. Part 18: Some Automatic Proofs. Sci. Ser. A Math. Sci. (N.S.) 2010, 20, 93-111. https://doi.org/10.71712/.