Verification method for solution of symmetric saddle point linear system with null space method
The 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics(SCAN2018)
著者:Ryo Kobayashi, Atsushi Minamihata, Shin'ichi Oishi概要:早稲田大学で開催された精度保証に関する国際研究集会にて、構造的特徴がある係数行列を持つ連立一次方程式の解に対して行列の零空間を用いた高精度な精度保証付き数値計算法について発表を行った.本研究について、主要なアルゴリズムの研究と数値実験などを実施し、発表も行った.