Verification methods for linear systems on a GPU

15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computing, Russia

精度保証付き数値計算における連立一次方程式の精度保証法では行列積の計算と，近似逆行列の計算が必要である．そのため，メモリ量が通常の連立一次方程式の計算よりかかる．本研究では計算箇所のブロック化により，メモリ量を節約できるとともに，誤差解析が改善する結果を示した． 担当：筆頭著者として，主たる研究を行い，発表を行った． 著者：森倉悠介，尾崎克久，大石進一