Some automatic proofs
DOI link for Some automatic proofs
Some automatic proofs book
The volume  is one of the most widely used table of integrals. This work, now in its 7th edition, has been edited and amplified several times. The initial work of the authors I. Gradshteyn and I. M. Ryzhik is now supplemented by entries proposed by a large number of researchers.