Algorithms for q-hypergeometric Summation in Computer Algebra
Please always quote using this URN: urn:nbn:de:0297-zib-3453
- In this paper we present a short description of $q$-analogues of Gosper's, Zeilberger's, Petkov\v{s}ek's 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.
Author: | Harald Böing, Wolfram Koepf |
---|---|
Document Type: | ZIB-Report |
MSC-Classification: | 39-XX DIFFERENCE AND FUNCTIONAL EQUATIONS / 39Axx Difference equations (For dynamical systems, see 37-XX, for dynamic equations on time scales, see 34N05) / 39A10 Difference equations, additive |
Date of first Publication: | 1998/01/19 |
Series (Serial Number): | ZIB-Report (SC-98-02) |
ZIB-Reportnumber: | SC-98-02 |
Published in: | Appeared in: Journal of Symbolic Computation 28 (1999) 777-799 |