Validated numerics (or reliable computation) is a numerical analysis with mathematically strict error evaluation. In order to do so, a technology called interval arithmetic is used. Validated numerics is needed for the following reasons.