MultInt, a MAPLE Package for Multiple Integration by the WZ Method

摘要

We describe a MAPLE implementation, MultInt, of the continuous version of the WZ method. We also give various examples of how this package can be used to systematically generate proofs of identities (or recurrences) which involve multiple integrals of proper-hyperexponential functions. Moreover, by expressing a binomial coefficient sum as a hyperexponential contour or multi-contour integral, the package provides an alternative approach to sums.