𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finding Identities with the WZ Method

✍ Scribed by Ira M. Gessel


Book ID
102975317
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
659 KB
Volume
20
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis


Extending the work of Wilf and Zeilberger on WZ-pairs, we describe how new terminating hypergeometric series identities can be derived by duality from known identities. A large number of such identities are obtained by a Maple program that applies this method systematically.


πŸ“œ SIMILAR VOLUMES


The WZ matrix factorisation method
✍ P. Yalamov; D.J. Evans πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 458 KB
The -WZ method for infinite series
✍ William Y.C. Chen; Ernest X.W. Xia πŸ“‚ Article πŸ“… 2009 πŸ› Elsevier Science 🌐 English βš– 621 KB
MultInt, a MAPLE Package for Multiple In
✍ Akalu Tefera πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 356 KB

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 properhyperexponential functions. Moreover, by e