| No. |
Title |
Author |
Year |
| 1 |
Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471) |
Alefeld, Götz et al. |
2021 |
| 2 |
Symbolic, Algebraic and Validated Numerical Computation (Dagstuhl Seminar 9232) |
Davenport, James H. et al. |
2021 |
| 3 |
Theoretical and Computational Aspects of Matrix Algorithms (Dagstuhl Seminar 03421) |
Higham, Nick et al. |
2021 |
| 4 |
Reliable Computation and Complexity on the Reals (Dagstuhl Seminar 17481) |
Müller, Norbert T. et al. |
2018 |
| 5 |
09471 Abstracts Collection -- Computer-assisted proofs - tools, methods and applications |
Brown, Malcolm B. et al. |
2010 |
| 6 |
09471 Executive Summary -- Computer-assisted proofs - tools, methods and applications |
Brown, Malcolm B. et al. |
2010 |
| 7 |
05391 Abstracts Collection -- Algebraic and Numerical Algorithms and Computer-assisted Proofs |
Buchberger, Bruno et al. |
2006 |
| 8 |
05391 Executive Summary -- Numerical and Algebraic Algorithms and Computer-assisted Proofs |
Buchberger, Bruno et al. |
2006 |
