Scientific Computing, Computer Arithmetic, and Validated Numerics

16. SCAN 2014: Würzburg, Germany

maintained by Schloss Dagstuhl LZI at University of Trier