| Enumeración de puntos de celosía Enumeración de puntos de celosía es un software informático dedicado a los problemas de contar y detectar puntos de red. |
Descargar ahora |
Enumeración de puntos de celosía Clasificación y resumen
- Nombre del editor:
- Matthias Koeppe
- Sitio web del editor:
- http://www.math.uni-magdeburg.de/~mkoeppe/latte/
Enumeración de puntos de celosía Etiquetas
Enumeración de puntos de celosía Descripción
Enumeración de puntos de celosía es un software informático dedicado a los problemas de contar y detectar puntos de red. Enumeración de puntos de celosía es un software informático dedicado a los problemas de contar y detectar puntos de celosía dentro de los polilitopes convexos, y la solución de programas enteros. Contiene una implementación del algoritmo de Barvinok. Aquí hay algunas características clave de "Enumeración del punto de celosía": · Uso de GNU AutoConf y Amake, se construye y se desarrolla fácilmente en una variedad de sistemas UNIX, en lugar de solo en GNU / Linux en la arquitectura X86 en la arquitectura X86 . · Varias micro optimizaciones y limpieza de códigos hacen que el código sea más robusto y aproximadamente un 25% más rápido que el latte. · Se implementan nuevos algoritmos: - Descomposición irracional primordial: descomposición irracional a toda primaria: sustitución exponencial - Enumeración no imagodular Una combinación de estos nuevos algoritmos es mucho más rápida (para algunos ejemplos, por varios órdenes de magnitud) que los algoritmos tradicionales implementados en Latte. Lo que está nuevo en esta versión: · Se solucionó un problema de construcción en Solaris / Sparc usando GCC 4.2.0.
Enumeración de puntos de celosía Software relacionado