Appeard in SIAM J. Math. Anal. 25 (1994) [Askey issue], 812-814.

The celebrated WZ method can prove, fully automatically any multi-variate `nice' integral evaluation, for any FIXED dimension. A very nice implementation was written by Akalu Tefera (The Maple package Mint). With a tiny huamn help, it may be able to prove it for GENERAL dimension.

(Plain ) .tex version

Note: The present Plain TeX version was obtained by applying my TroffToTeX translator to the original Troff source file

Doron Zeilberger's List of Papers