Visuelle Turingmaschine
Visual Turing Machine ist ein Programm, mit dem Sie Turing-Maschinen mit einer Punkt- und Klick-Schnittstelle erstellen können. ...
 | GitterpunktzählungGitterpunktaufzählung ist eine Computersoftware, die den Problemen der Zählung und Erkennung von Gitterpunkten gewidmet ist. |
| Jetzt downloaden | |
Gitterpunktzählung Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Preis:
- FREE
- Name des Herausgebers:
- Matthias Koeppe
- Website des Verlags:
- http://www.math.uni-magdeburg.de/~mkoeppe/latte/
Gitterpunktzählung Stichworte
Gitterpunktzählung Beschreibung
Gitterpunktaufzählung ist eine Computersoftware, die den Problemen der Zählung und Erkennung von Gitterpunkten gewidmet ist. Gitterpunktaufzählung ist eine Computersoftware, die den Problemen der Zählung und Erkennung von Gitterpunkten in konvexen Polytopen und der Lösung von ganzzahligen Programmen gewidmet ist. Es enthält eine Implementierung von BARVINOK-Algorithmus . · Verschiedene Mikrooptimierungen und Code-Reinigungen machen den Code robuster und etwa 25% schneller als Latte. · Neue Algorithmen werden implementiert: - Primale irrationale Zersetzung - All-Primal-irrationale Zersetzung - exponentielle Substitution - uneinheitliche Aufzählung Eine Kombination dieser neuen Algorithmen ist viel schneller (für einige Beispiele von mehreren Größenordnungen) als die traditionellen Algorithmen, die in implementiert sind Latte.was ist neu in dieser Version: · Ein Aufbauproblem auf Solaris / Sparc mit GCC 4.2.0 wurde behoben.
Gitterpunktzählung Zugehörige Software
Mutter
Eine Ernährungssoftware, um aufzunehmen, was Sie essen und Ihre Mahlzeiten zur Nährstoffzusammensetzung analysieren ...
