Text this: Scientific Computing, Validated Numerics, Interval Methods /