Institute for Reliable Computing
Head:
Prof. Dr. Siegfried M. Rump
PUBLICATIONS - CHRISTIAN KEIL
- D. Chaykin, C. Jansson, F. Keil, M. Lange, K.T. Ohlhus, and S.M. Rump. Rigorous Lower Bounds for the Ground State Energy of Molecules by Employing Necessary N-Representability Conditions. Journal of Chemical Theory and Computation, 2020. (doi:10.1021/acs.jctc.0c00497)
- C. Jansson, D. Chaykin, and C. Keil. Rigorous Error Bounds for the Optimal Value in Semidefinite Programming. SIAM Journal on Numerical Analysis, 46(1):180–200, 2007. (PDF) (doi:10.1137/050622870)
- C. Keil. Lurupa – Rigorous Error Bounds in Linear Programming. In B. Buchberger, S. Oishi, M. Plum, and S. M. Rump, editors, Algebraic and Numerical Algorithms and Computer-assisted Proofs, number 05391 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. http://drops.dagstuhl.de/opus/volltexte/2006/445.
- C. Keil and C. Jansson. Computational Experience with Rigorous Error Bounds for the Netlib Linear Programming Library. Reliable Computing, 12, issue 4:303–321, 2006. http://www.optimization-online.org/DB_HTML/2004/12/1018.html. (PDF)
- C. Keil. LURUPA – Rigorose Fehlerschranken für Lineare Programme. Diplomarbeit, Technische Universität Hamburg–Harburg, 2004.
- C. Keil. Verified Linear Programming – a Comparison. 2008. http://www.optimization-online.org/DB_HTML/2008/06/2007.html.