# On the problem of counting numerical semigroups by genus.

A numerical semigroup is a submonoid of the non-negative integers, under addition, whose complement in IN is finite. The cardinality of this complement is said to be the genus of the numerical semigroup. In 2008 Bras-Amorós conjectured that the sequence $(n_g)_g$, where $n_g$ is the number of numerical semigroups of genus $g$, behaves like the Fibonacci sequence.