Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21--26, 2014. Revised selected papers
scientific article; zbMATH DE number 6566995