Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2005 (conf/dagstuhl/2005P5391)

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