精度保証付き数値計算の基礎

精度保証付き数値計算における近年の研究成果をまとめた学術書において，ハイパフォーマンスコンピューティング環境における連立一次方程式の精度保証法においての応用例について記述した．
担当：10章3節pp. 278-289，HPC環境における精度保証
編著：大石 進一，著者：荻田武史，柏木雅英，劉雪峰，尾崎克久，山中脩也，高安亮紀，関根晃太，木村拓馬，市原一裕，正井秀俊，森倉悠介，Siegfried M. Rump

コロナ社