Validated numerics

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.
One of the most known implementation of validated numerics is INTLAB (Interval Laboratory). INTLAB was used to create other numerical libraries, and it was also used to solve the Hundred-dollar, Hundred-digit Challenge problems.