中谷 祐介

非線形方程式に対する精度保証付き数値計算法 

日本ファジィ学会 第10回インテリジェント・システム・シンポジウム講演論文集 pp.61-64 2000年  

A Numerical Method of Proving the Existence of Solution for Nonlinear Equations with Guaranteed Accuracy 

Proc. of 2000 International Symposium on Nonlinear Theory and its Applications (NOLTA2000) Vol.2, pp689-691 2000年  

非線形方程式の解の非存在の厳密な数値的検証法 

1999年電子情報通信学会ソサエティ大会講演論文集 A-2-7 1999年  

Numerical Verification of Nonexistence of Solutions for Nonlinear Equations and its Application to All Solutions Algorithm 

Proc. of 1999 International Symposium on Nonlinear Theory and its Applications (NOLTA '99) Vol.2, pp.835-838 1999年