Dagstuhl Seminar Proceedings: Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005

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