Normaliz es un sistema de álgebra computacional libre desarrollado por Winfried Bruns, Robert Koch (1998-2002), Bogdam Ichim (2007/08) y Christof Soeger (2009-2016). Se publica bajo la Licencia Pública General GNU versión 2.
Normaliz calcula puntos de red en poliedros racionales o, en otros términos, resuelve sistemas diofánticos lineales de ecuaciones , desigualdades y congruencias. Las tareas especiales son el cálculo de puntos de red en politopos racionales acotados y bases de Hilbert de conos racionales. Normaliz también calcula datos enumerativos, como multiplicidades (volúmenes) y series de Hilbert . El núcleo de Normaliz es una biblioteca de clases C++ con plantillas. Para la aritmética polinómica multivariante, utiliza CoCoALib .
Normaliz tiene interfaces con varios sistemas generales de álgebra computacional: CoCoA , GAP , Macaulay2 y Singular . Se puede utilizar de forma interactiva a través de su interfaz Python PyNormaliz. Su uso en SageMath está en preparación.
Jesús A. De_Loera cita a Normaliz entre sus programas favoritos para calcular la base de Hilbert . [2]