Marco Nehmeier

Scientific Computing, Computer Arithmetic, and Validated Numerics