キーワード : 区間演算


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

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

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

ゼロ書換えに基づいた区間法とSturmのアルゴリズムへの応用
白柳 潔 関川 浩 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/05/25
Vol. J80-A  No. 5 ; pp. 791-802
論文種別:  論文
専門分野: 数値計算,数理計画法
キーワード: 
数式処理区間演算浮動小数点近似安定性Sturmのアルゴリズム
 あらまし | 本文:PDF(683.5KB)

トリプレックスRNS浮動小数点表示の精度保証付き数値計算への応用
李 起子 木下 栄祐 福永 邦雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/06/25
Vol. J79-D1  No. 6 ; pp. 386-390
論文種別:  レター
専門分野: 
キーワード: 
精度保証付き数値計算(多項式連立1次方程式)RNS浮動小数点数高精度区間演算
 あらまし | 本文:PDF(313.8KB)