Uma base de dados de semigrupos numericos

Um semigrupo numerico e 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 numericos e referirei alguns dos problemas computacionais envolvidos.