| |
| 2006 | ||
|---|---|---|
| 2 | EE | Christian Keil, Christian Jansson: Computational Experience with Rigorous Error Bounds for the Netlib Linear Programming Library. Reliable Computing 12(4): 303-321 (2006) |
| 2005 | ||
| 1 | EE | Christian Keil: Lurupa - Rigorous Error Bounds in Linear Programming. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
| 1 | Christian Jansson | [2] |