A Comparison of software packages for verified linear programming Keil, Christian 2008 - TUHH Open Research