3
Published 2008
Springer Berlin Heidelberg
... of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006. The Seminar was inteded...

4
Published 2009
Springer Berlin Heidelberg
... on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008...