C<sub>4</sub> proofs that the number of Binary Trees with n+1 leaves equals C<sub>n</sub>

C₄ proofs that the number of Binary Trees with n+1 leaves equals C_n
By Shaoshi Chen, Robert Dougherty-Bliss, and Doron Zeilberger
.pdf .tex

First Posted: July 25, 2024 This version: July 25, 2024

Maple packages

Coming up

Robert Dougherty-Bliss 's Home Page