相馬 隆郎


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

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