区間ニュートン法
相馬隆郎, 大石進一, & 堀内和夫. (1998). 区間 Newton 写像を用いた非線形常微分方程式の解の数値的存在検証法. 電子情報通信学会技術研究報告. NLP, 非線形問題, 97(592), 119-124.