微分方程式の精度保証付き数値計算 : 逐次反復に基づく計算機援用証明

Back to online viewer

Download document