Implementation of a verification method for the approximate solution of large-scale linear systems
The 9th East Asia Section of SIAM Conference & The 2nd Conference on Industrial and Applied Mathematics, Indonesia
スーパーコンピュータを用いた連立一次方程式の精度保証付き数値計算における実装法についての発表を行った.問題が大規模化することにより,得られた結果の精度が悪化することが知られている.本発表では,無誤差変換を用いた高精度計算を用いることにより,近似解の改善,精度保証結果の改善を行いその実装法を紹介した. 担当:筆頭著者として,主たる研究を行い,発表を行った. 著者:森倉悠介,尾崎克久,大石進一