Rational function certification of multisum/integral/``$q$'' identities
  The method of rational function certification for proving terminating hypergeometric identities is extended from single sums or integrals to multi-integral/sums and ``$q$'' integral/sums. 
Herbert S. Wilf, Doron Zeilberger