著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 大石 進一 and 荻田 武史 and 太田 貴久,高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(<論文特集>ロバスト計算と精度保証),シミュレーション = Journal of the Japan Society for Simulation Technology,02859947,東京 : 小宮山印刷工業,2006-09,25,3,170-178,https://cir.nii.ac.jp/crid/1520009409701144448,