Skip to main content
SpringerLink
Log in

On the q-Analogue of Zeilberger's Algorithm to Rational Functions

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

We consider the applicability (or terminating conditions) of the q-analogue of Zeilberger's algorithm and give the complete solution to this problem for the case when the original q-hypergeometric term is a rational function.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. Abramov, S.A., Rational Component of the Solutions of a First-Order Linear Recurrence Relation with a Rational Right-Hand Side, USSR Comput. Math. Phys. Transl. from Zh. Vychisl. Mat. Mat. Fiz., 1975, vol. 14, pp. 1035-1039.

    Google Scholar 

  2. Abramov, S.A., Indefinite Sums of Rational Functions. Proc. ISSAC'95, 1995, pp. 303-308.

  3. Abramov, S.A., A Note on Zeilberger's Algorithm and Proper Terms. Proc. Seventh Rhine Workshop on Computer Algebra, March 22-24, 2000, Bregenz, Austria, 2000.

  4. Abramov, S.A. and Le, H.Q., Applicability of Zeilberger's Algorithm to Rational Functions. Proc. FPSAC'00, 2000, pp. 91-102.

  5. Böing, H. and Koepf, W., Algorithms for q-Hypergeometric Summation in Computer Algebra,J. Symb. Comput., 1999, vol. 11, pp. 1-23.

    Google Scholar 

  6. Graham, R., Knuth, D., and Patashnik, O.,Concrete Mathematics,Reading (MA): Addison Wesley, 1994, 2nd ed.

    Google Scholar 

  7. Koornwinder, T.H., On Zeilberger's Algorithm and Its q-Analogue, J. Comp. Appl. Math., 1993, vol. 48, pp. 91-111.

    Google Scholar 

  8. Petkovšek, M., Wilf, H., and Zeilberger, D., A = B, Wellesley: A.K. Peters, 1996.

    Google Scholar 

  9. Riese, A., A Mathematica q-Analogue of Zeilberger's Algorithm for Proving q-Hypergeometric Identities, Diploma Thesis, University of Linz, Linz, 1995.

    Google Scholar 

  10. Walker, R.J.,Algebraic Curves, Princeton Univ. Press, 1950.

  11. Wilf, H. and Zeilberger, D., An Algorithmic Proof Theory for Hypergeometric (Ordinary and “q”) Multisum/Integral Identities, Inventiones Mathematicae, 1992, vol. 108, pp. 575-633.

    Google Scholar 

  12. Zeilberger, D., The Method of Creative Telescoping, J. Symb. Comput., 1991, vol. 11, pp. 195-204.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Symbolic Computation Group, University of Waterloo, Waterloo, Canada

    H. Q. Le

Authors
  1. H. Q. Le
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Le, H.Q. On the q-Analogue of Zeilberger's Algorithm to Rational Functions. Programming and Computer Software 27, 35–42 (2001). https://doi.org/10.1023/A:1007186703355

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1007186703355

Keywords

Search

Navigation