News
Marika Karbstein hat schon zum zweiten Mal die Wahl zur „ultimativen Aufgabe für den Matheon-Adventskalender“ gewonnen! (21.01.2013)
Für den Matheon-Adventskalender überlegen sich die Mitarbeiter jedes Jahr Knobelaufgaben, die...
Neuer Supercomputer für die Spitzenforschung in Norddeutschland (17.12.2012)
Brandenburg tritt Norddeutschem Verbund für Hoch- und Höchstleistungsrechnen bei
offene Stellen
Wissenschaftliche/r Angestellte/r für die Abteilung Wissenschaftliche Information
Kennziffer: WA 15/13
Optimierung - Software
| Mcf | Netzwerk-Simplex Implementation. |
| SCIP | Solving Constraint Integer Programs. |
| SoPlex | Sequentieller object-orientierter SimPlex Algorithmus. |
| ZIMPL | Zuse Institute Mathematical Programming Language. |
| Porta | POlyhedron Representation Transformation Algorithm. |
| AMSEL | A Modelling and Simulation Environment Library. |
| TOPCOM | Triangulations of Point Configurations and Oriented Matroids. |
| CS-OPT | Airline Crew Scheduling (in englisch). |
| SCHED-OPT | Umlauf- und Dienstplanung im Nahverkehr. |
| TS-OPT | Train Schedule Optimization (in englischer Sprache). |
| VSP | Veranstaltungsplaner für die Lange Nacht der Wissenschaft. |
| ZIBopt | ZIB Optimization Suite. |
| SteinLib | Bibliothek mit Instanzen für das Steinerbaumproblem in Graphen. |
| FAPWeb | A website about Frequency Assignment Problems |
| SNDLIB | Survivable fixed telecommunication Network Design test instances library. |
| MOMENTUM | Modelle und Simulation im Bereich Planung und Kontrolle von UMTS-Netzen |
| MADLIB | A LIBrary of MAtrix Decomposition Problems |
| MIPLIB | Mixed Integer Problem Library. |
| TTPLIB | Train Timetabling Problem Library |
| perPlex | LP Basis Verifizierer mit rationaler Arithmetik. |
