Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers

  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

Abstract.

 A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a definite integration problem.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Author information

Authors and Affiliations

  1. Department of Mathematics, Indiana University, Bloomington, IN 47405-5701, USA and School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332-0160, USA (e-mail: rdlyons@indiana.edu), , , , , , US

    Russell Lyons

  2. Research Institute for Symbolic Computation, Johannes Kepler University, 4040 Linz, Austria (e-mail: {Peter.Paule, Axel.Riese}@risc.uni-linz.ac.at), , , , , , AT

    Peter Paule & Axel Riese

Authors
  1. Russell Lyons
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Paule
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Axel Riese
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Received: April 9, 2002

Keywords: Computer algebra, Hypergeometric summation, Definite integration, WZ method.

The first author was supported in part by NSF grant DMS-0103897. The third author was supported by SFB grant F1305 of the Austrian FWF.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lyons, R., Paule, P. & Riese, A. A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers. AAECC 13, 327–333 (2002). https://doi.org/10.1007/s00200-002-0107-z

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00200-002-0107-z

Keywords

Search

Navigation