$\mathcal{C}$-semigroups, their invariants and some algorithms
Let $\mathcal{C}\subseteq\mathbb{N}^p$ (for a non-zero natural number $p$) be a non-negative integer cone. A monoid $S \subseteq \mathcal{C}$ is called a $\mathcal{C}$-semigroup if its complement in the cone is finite. This structure naturally extends the classical notion of numerical semigroups, which are submonoids of the natural numbers with a finite complement in the set of natural numbers.