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.