ニュートン法
非線型方程式の精度保証付き数値計算に用いられる区間ニュートン法の提唱者である。