【査読付】A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems

著者：Ryo Kobayashi、Takuma Kimura、Shin'ichi Oishi
構造的特徴がある係数行列を持つ連立一次方程式の解に対する広い範囲で適応可能な高速な精度保証付き数値計算法を提案・証明した．数値計算ソフトのMATLABとそのツールボックスINTLABを用いて、提案した方法に関して数値実験を行い、提案方法の有用性を示した．本研究で定理の証明や数値実験、論文の執筆などを担当した．

Numerical Algorithms