実用
精度保証理論に基づいた連立一次方程式に対する高信頼な数値解の出力法
2020 年 30 巻 1 号 p. 71-121
詳細
2020 年 30 巻 1 号 p. 71-121
概要. 連立一次方程式の数値解の精度を保証する手法は多く提案されている．これらの手法ではまず数値解を求め，次に得られた数値解の誤差上限を求める．本論文では，先に誤差上限に対する目標を与え，それを満たす数値解を出力する精度保証理論に基づく手法を提案する．真値に最も近い浮動小数点数，真値以上で最小の浮動小数点数と真値以下で最大の浮動小数点数の一方または両方を得ることを目標とする．
