| |
| 2006 | ||
|---|---|---|
| 6 | 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 | ||
| 5 | EE | Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump: 05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
| 4 | EE | Christian Jansson: Rigorous Results in Combinatorial Optimization. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
| 2002 | ||
| 3 | EE | Christian Jansson: Rigorous Error Bounds for the Optimal Value of Linear Programming Problems. COCOS 2002: 59-70 |
| 2001 | ||
| 2 | Christian Jansson: Quasi Convex-Concave Extension. Symbolic Algebraic Methods and Verification Methods 2001: 117-127 | |
| 1998 | ||
| 1 | EE | Christian Jansson: An NP-Hardness Result for Nonlinear Systems. Reliable Computing 4(4): 345-350 (1998) |
| 1 | Bruno Buchberger | [5] |
| 2 | Christian Keil | [6] |
| 3 | Shin'ichi Oishi | [5] |
| 4 | Michael Plum | [5] |
| 5 | Siegfried M. Rump | [5] |