A high-tech proof of the Mills-Robbins-Rumsey determinant formula

zbMath0851.05005MaRDI QIDQ1918896

Herbert S. Wilf, Marko Petkovsek

Publication date: 21 July 1996

Published in: The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL: http://www.emis.de/journals/EJC/Volume_3/volume3_2.html#R19

zbMATH Keywords

Mills-Robbins-Rumsey determinant formulaproof certificate

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Determinants, permanents, traces, other special matrix functions (15A15)

Related Items (4)

A two-line algorithm for proving \(q\)-hypergeometric identities ⋮ Inversion techniques and combinatorial identities: Balanced hypergeometric series. ⋮ Binomial convolutions and determinant identities ⋮ Advanced determinant calculus: a complement

This page was built for publication: A high-tech proof of the Mills-Robbins-Rumsey determinant formula