Eliminations in Weyl algebras and identities

In this article, we study the eliminations in noncommutative operator algebras and modify the Zeilberger algorithm, so that terminating hypergeometric identities, q-proper-hypergeometric identities as well as identities with the integral sign can be proven automatically. Besides, based on the Wu method, we also give an algorithm for proving multivariate hypergeometric identities.