SC 98-02 Harald Böing, Wolfram Koepf: Algorithms for q-hypergeometric Summation in Computer
Algebra
Abstract: In this paper we present a short description of q-analogues
of
Gospers, Zeilbergers, Petkovseks and related algorithms.
Furthermore we introduce our corresponding MAPLE implementations
and show how they can be applied to prove or even derive
identities associated with q-series.
(only electronic version available)
MSC: 33C25, 39A10