Title: Scientific Computing and Validated Numerics