Searching for Strange Hypergeometric Identities By Sheer Brute Force.pdfVIP

Searching for Strange Hypergeometric Identities By Sheer Brute Force Moa APAGODU and Doron ZEILBERGER1 Important Note: This article is accompanied by the Maple package BruteTwoFone available from the webpage of this article /~ zeilberg/mamarim/mamarimhtml/sheer.html , 8 0 where one can also find sample input and output. 0 2 Preface b e The classical hypergeometric series F ∞ 6 (a)k (b)k k 2 F (a, b, c, x) = x , k!(c)k ] k=0 O C (where (z)k := z(z + 1)(z + 2) · · · (z + k − 1)), that nowadays is more commonly denoted by . h a,b t 2F1 ; x , a m c [ has a long and distinguished history, going back to Lehonard Euler and Carl Friedrich Gauss. It 1 was also one of Ramanujan’s favorites. Under the guise of binomial coefficient sums it goes even v 2 further back, to Chu, in his 1303 combinatorics treatise, that summarized a body of knowledge that 3 probably goes yet further back. 8 3 . The hypergeometric function, and its generalized counterparts, enjoy several exact evaluations, for 2 0 some choices of the parameters, in terms of the Gamma function. The classical identities of Chu- 8 Vandermonde, Gauss, Kummer, Euler, Pfaff-Saalsch¨utz, Dixon, Dougall, and others, can be looked 0 : up in the classic classi