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.

• Numerical integrationCompared with: Validated integration can provide guaranteed bounds rather than a single estimate.

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

• Error propagationCompared with: It tracks value ranges instead of combining statistical uncertainty estimates.

• 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.