Normaliz es un sistema de álgebra computacional gratuito desarrollado por Winfried Bruns, Robert Koch (1998-2002), Bogdam Ichim (2007/08) y Christof Soeger (2009-2016). Está publicado bajo la GNU General Public License versión 2.
Autor (es) original (es) | Winfried Bruns, Robert Koch, Bogdan Ichim, Christof Soeger |
---|---|
Lanzamiento estable | 3.8.10 [1] / 11 de febrero de 2021 |
Repositorio | |
Escrito en | C ++ , C y Python |
Tipo | Sistema de álgebra informática |
Licencia | Licencia pública general GNU , versión 3 |
Sitio web | normaliz |
Normaliz calcula puntos de celosía 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 celosía 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 de C ++ con plantilla. Para la aritmética polinomial multivariante, utiliza CoCoALib .
Normaliz tiene interfaces para varios sistemas de álgebra informática general: 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 la informática en base a Hilbert . [2]
Ver también
Referencias
- ^ "Versión 3.8.10" . 11 de febrero de 2021 . Consultado el 16 de abril de 2021 .
- ^ De Loera, Jesús. "Problemas combinatorios con soluciones geométricas". Notas del curso: Combinatoria algebraica y geométrica . UC Davis.