The Integrals in Gradshteyn and Ryzhik. Part 18: Some Automatic Proofs. Sci. Ser. A Math. Sci. (N.S.) 2010, 20, 93-111.