Interval Arithmetic

Mathematica 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 Mathematica's basic mathematical functions and operations automatically operate on Interval objects.