Skip to main content
SpringerLink
Log in

Hypergeometric pattern matching summation in maple

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

Abstract

In the paper, an implementation in the computer algebra system Maple of an approach to summation based on hypergeometric pattern matching is considered. In spite of a number of existing modern summation algorithms, this approach remains to be valuable, since, if applicable, it allows one to find the result much faster than other approaches. The implementation is performed in the form of package Pattern Matching Summation. The structure of the package, pattern representation, possibility of extending the list of patterns, and matching mechanism are described. Examples of using the package are presented. Specific features of using summation formulas from handbooks as the patterns are considered. To obtain correct results, additional analysis is often required to determine the cases where the given formula is applicable.

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. Petkovšek, M., Wilf, H.S., and Zeilberger, D.A., A=B, A K Peters, 1996.

  2. Gosper, R.W., Jr., Indefinite Hypergeometric Sums in MACSYMA, Proc. of the MACSYMA User’s Conf., Berkeley, CA, 1977, pp. 237–251.

  3. Karr, M., Summation in Finite Terms, J. ACM, 1981, vol. 28, no. 2, pp. 305–350.

    Article  MATH  MathSciNet  Google Scholar 

  4. Krattenthaller, C., HYP and HYPQ, J. Symbolic Computations, 1995, vol. 20, pp. 737–744.

    Article  Google Scholar 

  5. Krattenthaller, C., HYP, Manual for a Mathematica Package for Handling Hypergeometric Series. http://www.mat.univie.ac.at/~kratt/hyp-hypq/hyp.html. 1994.

  6. Gauthier, B., HYPERG, Maple Package, User’s Reference Manual. http://www.igm.univ-mlv.fr/~gautier/HYPERG.html. 1999.

  7. Khmelnov, D.E. and Ryabenko, A.A., Pattern Matching Summation in MAPLE, MMCP’2009: Book of Abstracts of the Int. Conf., Dubna: JINR, 2009, pp. 143–144.

    Google Scholar 

  8. Gradshtein, I.S. and Ryzhik, I.M., Tablitsi integralov, sum, ryadov i proizvedenii (Tables of Integrals, Sums, Series, and Products), Moscow: Fizmatgiz, 1963, 4th ed.

    Google Scholar 

  9. Graham, R., Knuth, D.E., and Patashnik, O., Concrete Mathematics, Reading, Mass.: Addison-Wesley, 1994, 2nd ed.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dorodnicyn Computing Center, Russian Academy of Sciences, ul. Vavilova 40, Moscow, 119991, Russia

    A. A. Ryabenko & D. E. Khmelnov

Authors
  1. A. A. Ryabenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. E. Khmelnov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. A. Ryabenko.

Additional information

Original Russian Text © A.A. Ryabenko, D.E. Khmelnov, 2010, published in Programmirovanie, 2010, Vol. 36, No. 2.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ryabenko, A.A., Khmelnov, D.E. Hypergeometric pattern matching summation in maple. Program Comput Soft 36, 87–96 (2010). https://doi.org/10.1134/S0361768810020064

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768810020064

Keywords

Search

Navigation