Conference
|
|
Basic information
|
| Name | MORIKURA Yusuke |
| Belonging department | |
| Occupation name | |
| researchmap researcher code | |
| researchmap agency |
 |
Verification methods for linear systems using ufp estimation with rounding-to-nearest
|
|
The 8th East Asia Section of SIAM Conference & The 2nd Conference on Industrial, Taiwan
|
2012/06
|
|
|
|
|
|
|
International conferences
|
|
|
|
|
Url
|
|
共著
査読あり2012年06月
精度保証付き数値計算では，丸め誤差を考慮した計算を行う．本論文では，連立一次方程式の精度保証付き数値計算の丸め誤差の評価にufpを用いたシャープな誤差評価を用いた．その結果，従来の計算方法より，タイトな計算評価が可能になることを示した． 担当：筆頭著者として，全ページを担当 著者：森倉悠介, 尾崎克久, 大石進一