常微分方程式の精度保証付き数値計算について

計算機で解析解の存在範囲を厳密に特定する「精度保証付き数値計算」について紹介する．