Christoph Koutschan, Victor H. Moll. The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. Sci. Ser. A Math. Sci. (N.S.) [Internet]. 2010 Jan. 15 [cited 2025 Jul. 20];20:93-111. Available from: https://revistas.usm.cl/scientia/article/view/155