A Proof of a Conjecture of Knuth

DOI10.1080/10586458.1996.10504579zbMath0984.33009OpenAlexW2085540546WikidataQ123358298 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

Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) Binomial coefficients; factorials; (q)-identities (11B65) Generalized hypergeometric series, ({}_pF_q) (33C20) Classical hypergeometric functions, ({}_2F_1) (33C05) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (1)

Unnamed Item

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

This page was built for publication: A Proof of a Conjecture of Knuth