A Modified Verification Method for Linear Systems by Using LU Decomposition
The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology AsiaSim&JSST2014, Kitakyusyu-City
連立一次方程式の精度保証付き数値計算において最も高速な手法の改善を行った.H行列の性質を用いることで,計算時間を変えることなくより広い範囲で精度保証できることを示した. 担当:連立一次方程式におけるLU分解を用いた高速精度保証法における改善手法の考案を行った. 著者:南畑敦史,森倉悠介,荻田武史,大石進一