Scientific Computing, Computer Arithmetic, and Validated Numerics

This book constitutes the refereed post proceedings of the16th International Symposium, SCAN ...