Zimpl - Modeling Language
perPlex - Rational Arithmetic LP Basis
Verification Tool
SoPlex - LP Solver
MOPP - My Own Publication Page
SteinLib - Steiner Tree in Graphs Problem Library
MOMENTUM - UMTS Project
MIPLIB - Mixed Integer Problem
Library
Combinatorial Optimization at
Work
DFG Research Center Matheon
My
Matheon page
The Mathematical Programming
Society
GOR - Gesellschaft für
Operations Research
ACM - Association for Computing
Machinery
Deutsche
Mathematiker Vereinigung