Dagstuhl Seminar Proceedings, Volume 5391,

• Bruno Buchberger, Shin'ichi Oishi, Michael Plum, and Siegfried M. Rump 05391 Abstracts Collection – Algebraic and Numerical Algorithms and Computer-assisted Proofs 10.4230/DagSemProc.05391.1
• Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, and Siegfried M. Rump 05391 Executive Summary – Numerical and Algebraic Algorithms and Computer-assisted Proofs 10.4230/DagSemProc.05391.2
• Philippe Langlois, Stef Graillat, and Nicolas Louvet Compensated Horner Scheme 10.4230/DagSemProc.05391.3
• Borbála Fazekas, Michael Plum, and Christian Wieners Enclosure for the Biharmonic Equation 10.4230/DagSemProc.05391.4
• Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, and Holger Traczinski Integration of reliable algorithms into modeling software 10.4230/DagSemProc.05391.5
• Christian Keil Lurupa - Rigorous Error Bounds in Linear Programming 10.4230/DagSemProc.05391.6
• Christian Jansson Rigorous Results in Combinatorial Optimization 10.4230/DagSemProc.05391.7
• James Demmel, Ioana Dumitriu, and Olga Holtz Toward accurate polynomial evaluation in rounded arithmetic (short report) 10.4230/DagSemProc.05391.8
• Götz Alefeld and Zhengyu Wang Verification of Solutions for Almost Linear Complementarity Problems 10.4230/DagSemProc.05391.9