![DBLP keys DBLP keys](../../../keys.gif) | 2006 |
5 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Bruno Buchberger,
Shin'ichi Oishi,
Michael Plum,
Siegfried M. Rump:
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 2005 |
4 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Bruno Buchberger,
Shin'ichi Oishi,
Michael Plum,
Siegfried M. Rump:
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
3 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Bruno Buchberger,
Christian Jansson,
Shin'ichi Oishi,
Michael Plum,
Siegfried M. Rump:
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs.
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
2 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Borbála Fazekas,
Michael Plum,
Christian Wieners:
Enclosure for the Biharmonic Equation.
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
| 2001 |
1 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Michael Plum:
Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems.
Symbolic Algebraic Methods and Verification Methods 2001: 195-207 |