中谷 祐介


実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法
丸山 晃佐 荻田 武史 中谷 祐介 大石 進一 
誌名:   電子情報通信学会論文誌 A
発行日: 2004/08/01
Vol. J87-A  No. 8  pp. 1111-1119
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
精度保証付き数値計算実対称定値一般化固有値問題IEEE754連立行列方程式固有値の包み込み
 あらまし | 本文:PDF(215.3KB)

変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
中谷 祐介 大石 進一 柏木 雅英 神沢 雄智 
誌名:   電子情報通信学会論文誌 A
発行日: 2001/11/01
Vol. J84-A  No. 11  pp. 1377-1384
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
非線形方程式全解探索解の非存在精度保証付き数値計算
 あらまし | 本文:PDF(326KB)