数値計算の精度保証が簡単かつ高速にできるようになったので、近い将来、数値計算に精度保証を付加するのが日常的となるであろう。本書は、そのような時代に向けて、数値計算の各分野について高速で効率的な精度保証付き数値計算のための理論と、この10年間に蓄積した実際的なノウハウを展開したものである。記述の仕方としては、数値計算して近似解を求める段階の概要をまとめ、その精度を保証する過程を詳述するというスタイルをとった。これにより、数値計算の初学者であっても、本書を理解できるように工夫している。