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. doi:10.71712/