From Integrals to Multi-Sum Identities
Ramanujan's Master Theorem and its extension in the method of brackets are a powerful technique for evaluation of many definite integrals, often producing series solutions. In the case that the series are multi-sums, simplification is nontrivial. Recurrence-finding algorithms assist in proving multi-sum identities to verify the correctness of such multi-sum series solutions.
Advances in Applied Mathematics
Kohl, K. T.
(2017). From Integrals to Multi-Sum Identities. Advances in Applied Mathematics, 89, 102-124.
Available at: https://aquila.usm.edu/fac_pubs/15082