The Wolfram Language automatically uses sophisticated algorithms to track the precision of approximate numbers. Particularly for some verification applications, however, it is convenient to maintain explicit numerical intervals. All the Wolfram Language's basic mathematical functions and operations automatically operate on Interval objects.
Interval — represent an interval to be used in mathematical operations
IntervalMemberQ — test whether a number lies within an interval
IntervalUnion — combine intervals together
IntervalIntersection — find common parts of intervals
RootIntervals — give lists of isolating intervals for polynomial roots