Integral linear programming and optimisation
Optimisation of functions with a domain in the positive integers. Application to various monoid problems, such as factorisation and numerical semigroup counting, verifying certain properties using the Kunz polytype