@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00141724,
 author = {南畑, 淳史 and 荻田, 武史 and 大石, 進一},
 book = {ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集},
 month = {May},
 pages = {82--82},
 publisher = {情報処理学会},
 title = {連立一次方程式の真の解の下界と上界の精度保証付き数値計算法について},
 volume = {2015},
 year = {2015}
}