Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers - Nehmeier, Marco; Wolff von Gudenberg, Jürgen; Tucker, Warwick (Springer International Publishing : Imprint: Springer, 2016)