In this article we describe mathematically relevant extensions to Normaliz that were added to it during the support by the DFG SPP Algorithmische und Experimentelle Methoden in Algebra, Geometrie und Zahlentheorie: nonpointed cones, rational polyhedra, homogeneous systems of parameters, bottom decomposition, class groups and systems of module generators of integral closures.