Verification methods for system of linear equations including irrational numbers
The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology AsiaSim&JSST2014, Kitakyusyu-City
無理数を係数に持つ連立一次方程式の精度保証付き数値計算において計算時間を変えることなく計算する手法を提案した.通常.浮動小数点数を係数にもつ連立一次方程式を対象として取り扱うが,無理数を取り扱う場合区間での計算が必要になり計算量の増加が考えられる.本発表では計算時間を変えることなくより広い範囲で精度保証できることを示した. 担当:筆頭著者として,主たる研究を行い,発表を行った. 著者:森倉悠介,大石進一