Software

Polymake

Polymake Logo

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.

Details

Kontakt: ,

 

SCIP – Solving Constraint Integer Programs

SCIP Logo

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.

Details

Kontakt:

 

SCIP-SDP

SCIP-SDP Logo

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.

Details

Kontakt:

Ehemalige Mitarbeiter: Sonja Mars