| 2006 |
|---|
| 5 | | 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 | EE | 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 | EE | 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 | EE | Borbála Fazekas,
Michael Plum,
Christian Wieners:
Enclosure for the Biharmonic Equation.
Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 |
| 2001 |
|---|
| 1 | | Michael Plum:
Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems.
Symbolic Algebraic Methods and Verification Methods 2001: 195-207 |
