Um semigrupo numérico é um submonóide dos inteiros não negativos, com a adição. Depois de dar todas as definições a usar ao longo do seminário, como o "número de falhas" ou o "número de Frobenius", procurarei apresentar a minha motivação para criar uma base de dados de semigrupos numéricos e referirei alguns dos problemas computacionais envolvidos.