A Proof of a Conjecture of Knuth

DOI10.1080/10586458.1996.10504579zbMath0984.33009WikidataQ123358298 ScholiaQ123358298MaRDI QIDQ4717337

Paule, Peter

Publication date: 19 December 2001

Published in: Experimental Mathematics (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/233148

Mathematics Subject Classification ID

05A10: Factorials, binomial coefficients, combinatorial functions

05A19: Combinatorial identities, bijective combinatorics

11B65: Binomial coefficients; factorials; (q)-identities

33C20: Generalized hypergeometric series, ({}_pF_q)

33C05: Classical hypergeometric functions, ({}_2F_1)

33F10: Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)

Cites Work

• Pfaff's method. I: The Mills-Robbins-Rumsey determinant.
• Clausen's hypergeometric series with variable \(1/4\)
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• Pfaff's method. II: Diverse applications
• Strange Evaluations of Hypergeometric Series