q-Hypergeometric solutions of q-difference equations

Discrete Mathematics

Volumn 180, Issue 1-3, 1998, Pages 3-22

  Abramov, Sergei A ^a   Paule, Peter ^b   Petkovš, Marko ^c  

^a RUSSIAN ACADEMY OF SCIENCES   (Russian Federation)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^c UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0009074143     PISSN: 0012365X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0012-365X(97)00106-4     Document Type: Article

References (19)

1. S.A. Abramov, Rational solutions of linear difference and q-difference equations with polynomial coefficients, Programming and Comput. Software 6 (1995) 273-278; transl. from Programmirovanie 6 (1995) 3-11.
2. S.A. Abramov, Rational solutions of linear difference and q-difference equations with polynomial coefficients, Programming and Comput. Software 6 (1995) 273-278; transl. from Programmirovanie 6 (1995) 3-11.
3. S.A. Abramov, M. Bronstein, M. Petkovšek, On polynomial solutions of linear operator equations, in: T. Levelt (Ed.), Proc. ISSAC '95, ACM Press, New York, 1995, pp. 290-296.
4. S.A. Abramov, M. Petkovšek, Finding all q-hypergeometric solutions of q-difference equations, in: B. Leclerc, J.-Y. Thibon (Eds.), Proc. FPSAC '95, Univ. de Marne-la-Vallée, Noisy-le-Grand, 1995, pp. 1-10.
5. G.E. Andrews, The Theory of Partitions, Addison-Wesley, Reading, MA, 1976.
6. G.E. Andrews, q-series: their development and application in analysis, number theory, combinatorics, physics, and computer algebra, CBMS Regional Conference Series, No. 66, AMS, Providence, RI, 1986.
7. M. Bronstein, M. Petkovšek, An introduction to pseudo-linear algebra, Theoret. Comput. Sci. 157 (1996) 3-33.
8. R.M. Cohn, Difference Algebra, Interscience Publishers, New York, 1965.
9. G. Gasper, M. Rahman, Basic Hypergeometric Series, Cambridge Univ. Press, Cambridge, 1990.
10. T.H. Koornwinder, On Zeilberger's algorithm and its q-analogue: a rigorous description, J. Comput. Appl. Math. 48 (1993) 91-111.
11. P. Paule, Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type. Electronic J. Combin. 1 (1994) # R10.
12. P. Paule, M. Schorn, A Mathematica version of Zeilberger's algorithm for proving binomial coefficient identities, J. Symbolic Comput. 20 (1995) 673-698.
13. P. Paule, V. Strehl, Symbolic summation - some recent developments, in: Computer Algebra in Science and Engineering - Algorithms, Systems, and Applications, J. Fleischer, J. Grabmeier, F. Hehl, W. Küchlin (Eds.), World Scientific, Singapore, 1995, pp. 138-162.
14. M. Petkovšek, Hypergeometric solutions of linear recurrences with polynomial coefficients, J. Symbolic Comput. 14 (1992) 243-264.
15. A. Riese, A Mathematica q-analogue of Zeilberger's algorithm for proving q-hypergeometric identities, Diploma Thesis, University of Linz, Linz, 1995.
16. R.P. Stanley, Differentiably finite power series, European J. Combin. 1 (1980) 175-188.
17. H.S. Wilf, D. Zeilberger, Rational functions certify combinatorial identities, J. Amer. Math. Soc. 3 (1990) 147-158.
18. H.S. Wilf, D. Zeilberger, An algorithmic proof theory for hypergeometric (ordinary and 'q') multisum/integral identities, Invent. Math. 108 (1992) 575-633.
19. D. Zeilberger, A fast algorithm for proving terminating hypergeometric identities, Discrete Math. 80 (1990) 207-211.