Article thumbnail

Computer Proofs of a New Family of Harmonic Number Identities

By Scott Ahlgren, Peter Paule and Carsten Schneider

Abstract

In this paper we consider ve conjectured harmonic number identities similar to those arising in the context of supercongruences for Apery numbers. The general object of this article is to discuss the possibility of automating not only the proof but also the discovery of such formulas. As a specic application we consider two dierent algorithmic methods to derive and to prove the ve conjectured identities. One is based on an extension of Karr's summation algorithm in dierence elds. The other method combines an old idea of Newton (which has been extended by Andrews) with Zeilberger's algorithm for denite hypergeometric sums

Year: 2002
OAI identifier: oai:CiteSeerX.psu:10.1.1.548.4041
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://www.sfb013.uni-linz.ac.... (external link)
  • http://www.sfb013.uni-linz.ac.... (external link)
  • http://citeseerx.ist.psu.edu/v... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.