**This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.**

### Abstract

In this work, we define the Catalan numbers *C _{n}*
and prove several equivalent definitions (including some closed-form
formulae). We also show one of their applications (counting the number
of binary trees of size

*n*), prove the asymptotic growth approximation

*C*, and provide reasonably efficient executable code to compute them.

_{n}∼ 4^{n}/ (√π · n^{1.5})The derivation of the closed-form formulae uses algebraic manipulations of the ordinary generating function of the Catalan numbers, and the asymptotic approximation is then done using generalised binomial coefficients and the Gamma function. Thanks to these highly non-elementary mathematical tools, the proofs are very short and simple.