Linked from

The 10 pages that link to Interval arithmetic, each with the reason it gives.

• Real numberRelated: Intervals track sets of possible real values and help control rounding error.

• Bisection methodRelated: It can extend bracketing ideas to rigorous enclosures despite finite-precision computation.

• Interval (mathematics)Related: It propagates bounded uncertainty through numerical calculations.

• Computer-assisted proofRelated: It can certify numerical bounds despite rounding error.

• Root-finding algorithmRelated: It can certify root existence and exclude roots despite finite-precision uncertainty.

• Kepler conjectureRelated: It helps certify numerical inequalities without relying on unverified floating-point approximations.

• Budan's theoremRelated: It can certify endpoint derivative signs despite finite-precision computation.

• Computable numberRelated: Certified intervals can provide rigorous bounds for computable-real approximations.