Curing the Andrews syndrom
arXiv:math/9806038
Abstract
George Andrews's recent challenge to automated identity-proving and the WZ method is dealt with. It is argued that the rivalry between the classical and automated approaches to hypergeometric sums is beneficial to both.
Plain TeX, to appear in J. Difference Eq. Appl