Bertrand's ballot theorem

DOI10.2478/forma-2014-0014zbMath1352.60011OpenAlexW2068729756MaRDI QIDQ502696

Karol Pąk

Publication date: 6 January 2017

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

Full work available at URL: https://doi.org/10.2478/forma-2014-0014

zbMATH Keywords

probabilityballot theorem

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Cooperative games (91A12) Combinatorial probability (60C05) Mechanization of proofs and logical operations (03B35)

Cites Work

• Unnamed Item
• Semantics of MML Query - Ordering
• Four Proofs of the Ballot Theorem