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