区間演算
区間ニュートン法 (英: Interval Newton method) はニュートン法の一部を区間演算に置き換えた手法であり、非線形方程式の精度保証付き数値計算に用いられる。ゲッツ・アールフェルトによって提案された。区間ニュートン法については解の存在定理があり、その証明にはブラウワーの不動点定理が使われる。