A two-line algorithm for proving terminating hypergeometric identities
type: Item
instance of: scholarly article
title: A two-line algorithm for proving terminating hypergeometric identities
zbMATH Open document ID: 0857.33002
author: Lily Yen
published in: Journal of Mathematical Analysis and Applications
publication date: 1996-07-18T00:00:00Z
review text: Given a terminating hypergeometric identity of the form \[ \sum^\infty_{k=-\infty} F(n,k)=f(n),\quad n\geq n_0,\tag{\(*\)} \] \(F(n,k)\) and \(f(n)\) being hypergeometric terms w.r.t. \(n\) and \(k\), then it is known that \((*)\) is valid iff it is valid for finitely many initial values \(n=n_0\), \(n_0+1,\dots,n_1\). The question remains to find a reasonable value for \(n_1\). In this paper, a bound \(n_1\) only depending on the given \(F\), \(f\) and \(n_0\) is given. This is theoretically very interesting. The given bound is too large to be of practical value, though.
reviewed by: W. Koepf
Mathematics Subject Classification ID: 33C20
zbMATH DE Number: 906459
zbMATH Keywords: hypergeometric identity
MaRDI profile type: Publication
full work available at URL: jmaa.1996.0118
OpenAlex ID: W2056405802
DOI: 10.1006/JMAA.1996.0118
description: scientific article; zbMATH DE number 906459