Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at

This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014. The 22 full p

The articles in this book give a comprehensive overview on the whole field of validated numerics. The problems covered include simultaneous systems of linear an

This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developmen