精度保証付き数値計算
ローレンツ方程式を精度保証付き数値計算とMATLABのode45(ODEソルバ)において最高精度を指定した場合で比較を行うと、ある程度時刻が進むと得られる解が違ってくるという実験例がある。