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

Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump (Eds.): Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 BibTeX

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