解説

年月 タイトル 学会名等 巻・号・頁
2019/05 Extension of floating-point filters to absolute and relative errors for numerical computation
Y. Ohta, K. Ozaki
IOP
2019/05 Verified numerical computations for dense linear systems in supercomputing
K. Ozaki
IOP
2016/10 Improvement of the Error Bound for the Dot Product Using the Unit in the First Place
2013/11 浮動小数点演算の無誤差変換 朝倉書店
2013/11 精度保証付き計算幾何 朝倉書店
2012/10 行列積の精度保証付き数値計算 日本評論社
2012/09 計算幾何学における計算の信頼性の保証 シミュレーション
2011/08 数値計算と計算幾何 サイエンス社
2008/11 間違わない計算幾何学アルゴリズム 日本評論社