By Moa Apagodu (formerly Mohamud Mohammed) and Doron Zeilberger
First Written: Dec. 8, 2004.
This version: Aug. 15, 2005.
Last Update of this page: March 20, 2012 (featuring extension of the Maple package SMAZ, and sample input and output, inspired by questions of Miklos Bona)
Previous Update of this page: Feb. 26, 2012 (featuring extension of the Maple package MultiAlmkvistZeilberger, and sample input and output, inspired by questions of Miklos Bona)
This is a much improved, and much sharper redoing of multi-WZ theory! It is written in a very terse style, and some of the proofs are only sketched. It would be a very instructive excercise to fill-in the details.