Section: New Results
Formal description of catalan numbers
Participant : José Grimm.
Catalan number can be defined by a recurrence, or by explicit formulas using binomial numbers. An important property is . The easiest way to prove this formula is to use Dyck paths.
A Dyck path of size is a sequence of integers and so that the sum of the first terms is for and . The relation between Dyck paths and Catalan numbers is easy to prove and then properties of Dyck paths are quite simple to state and verify.
The proofs have been done with the Math-Components library.