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. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 Dagstuhl Seminar Proceedings 05391- 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).
- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team