キーワード : 精度保証付き数値計算


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

精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
相馬 隆郎 大石 進一 
誌名:   電子情報通信学会論文誌 A
発行日: 2003/06/01
Vol. J86-A  No. 6 ; pp. 663-673
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
精度保証付き数値計算区間演算全解探索常微分方程式Krawczyk写像
 あらまし | 本文:PDF(508.5KB)

アフィン演算における最良乗算について
宮島 信也 宮田 孝富 柏木 雅英 
誌名:   電子情報通信学会論文誌 A
発行日: 2003/02/01
Vol. J86-A  No. 2 ; pp. 150-159
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
精度保証付き数値計算区間演算アフィン演算乗算
 あらまし | 本文:PDF(406.8KB)

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

パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
神沢 雄智 柏木 雅英 大石 進一 
誌名:   電子情報通信学会論文誌 A
発行日: 2000/05/25
Vol. J83-A  No. 5 ; pp. 511-516
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
区間解析精度保証付き数値計算区間反復パラメータ依存非線形方程式
 あらまし | 本文:PDF(319.2KB)

精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法
相馬 隆郎 大石 進一 堀内 和夫 
誌名:   電子情報通信学会論文誌 A
発行日: 1999/01/25
Vol. J82-A  No. 1 ; pp. 11-20
論文種別:  論文
専門分野: 非線形問題
キーワード: 
区間解析精度保証付き数値計算Krawczyk作用素反復改良法有理数演算
 あらまし | 本文:PDF(153.4KB)

有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
神沢 雄智 柏木 雅英 大石 進一 中村 晴幸 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/07/25
Vol. J80-A  No. 7 ; pp. 1130-1137
論文種別:  論文
専門分野: 非線形問題
キーワード: 
区間解析精度保証付き数値計算全解探索アルゴリズム非線形方程式
 あらまし | 本文:PDF(439.6KB)

精度保証付き数値計算法を用いた非線形方程式の解曲線の存在検証法
神沢 雄智 大石 進一 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/06/25
Vol. J80-A  No. 6 ; pp. 907-919
論文種別:  論文
専門分野: 非線形問題
キーワード: 
区間解析精度保証付き数値計算解曲線追跡陰関数定理
 あらまし | 本文:PDF(639.9KB)

パラメータ依存非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
神沢 雄智 柏木 雅英 大石 進一 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/06/25
Vol. J80-A  No. 6 ; pp. 920-925
論文種別:  論文
専門分野: 非線形問題
キーワード: 
区間解析精度保証付き数値計算全解探索アルゴリズムパラメータ依存非線形方程式
 あらまし | 本文:PDF(336.8KB)