Karen T. Kohl, Flavia Iulia Stan,
"An Algorithmic Approach to the Mellin Transform Method"
, Serie Doctoral Program Computational Mathematics, Nummer DK-2009-03, DK, JKU Linz, JKU Linz, Altenberger Straße 69, 4040 Linz, 11-2009
An Algorithmic Approach to the Mellin Transform Method
Sprache des Titels:
We present proofs for typical entries from the Gradshteyn-Ryzhik Table of Integrals using the Mellin transform method and computer algebra algorithms based on WZ theory. After representing an identity from the Table in terms of multiple contour integrals of Barnes' type and nested sums, we use Wegschaider's summation algorithm to find recurrences satisfied by both sides of this identity and check finitely many initial values.