年月
|
タイトル
|
学会名等
|
巻・号・頁
|
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 |
間違わない計算幾何学アルゴリズム |
日本評論社 |
|
|