A computer application on Arf semigroups and type sequences of numerical semigroups

摘要

In this paper, we give a brief description of the properties of numerical semigroup. In addition, we implement algorithms to determine the type sequence and to investigate whether any numerical semigroup is Arf using C++ programming language.