Polymake
polymake ist ein Softwarepaket fuer Berechnungen im Bereich der kombinatorischen Geometrie, insbesondere konvexen Polytopen und Polyedern, polyedrischen und Simplizialkomplexen, der tropischen Geometrie, wie z.B. Polytope, und der torischen Geometrie, insbesondere Gitterpolytopen und den zugeordneten torischen Idealen und Varietäten.
Kontakt: Michael Joswig, Andreas Paffenholz
SCIP – Solving Constraint Integer Programs
SCIP ist eine Software-Plattform für Constraint Integer Programming und Branch-cut-and-price. Es ist auch einer der schnellsten nicht-kommerziellen Löser für gemischt-ganzzahlige Optimierungsprobleme. In Zusammenarbeit mit dem Zuse-Insitut Berlin und der Universität Erlangen-Nürnberg wird SCIP kontinuierlich weiterentwickelt und erweitert.
Kontakt: Marc Pfetsch
SCIP-SDP
SCIP-SDP ist ein Plugin für SCIP zum Lösen von gemischt-ganzzahligen semidefiniten Programmen. SCIP-SDP kombiniert die Branch-and-Bound-Implementierung von SCIP mit Innere-Punkte SDP-Lösern wie DSDP, SDPA und MOSEK. Es ergänzt SCIP um zusätzliche Methoden zur Behandlung von semidefinite Problemen wie Heuristiken, Propagierer, Relaxierer und Möglichkeiten zum Einlesen von um Ganzzahligkeitsbedingungen erweiterten SDPA- sowie CBF-Dateien.
Kontakt: Marc Pfetsch
Ehemalige Mitarbeiter: Sonja Mars, Tristan Gally
