A Proof of a Conjecture of Knuth

DOI10.1080/10586458.1996.10504579MaRDI QIDQ4717337zbMATH OpenOpenAlexWikidataFDO

Authors Peter Paule

Publication date 19 December 2001

Published in Experimental Mathematics (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/233148, http://www.emis.de/journals/EM/expmath/volumes/5/5.html

Mathematics Subject Classification ID

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

Recommendations

• A note on a generalization of two well-known combinatorial identities via a hypergeometric series approach
• Rational Functions Certify Combinatorial Identities
• Some questions concerning computer-generated proofs of a binomial double- sum identity
• Solution to a problem due to Chu and Kiliç

Cites work

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

Cited in

(7)

• A proof of the Kauffman-Harary conjecture
• A proof of Pyber's base size conjecture
• A combinatorical proof of Kneser's conjecture
• scientific article; zbMATH DE number 5578311 (Why is no real title available?)
• scientific article; zbMATH DE number 7487982 (Why is no real title available?)
• Proof of the Kresch-Tamvakis conjecture
• On proofs of generalized Knuth's old sum

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4717337)