机译:使用数值方法搜索所有常微分方程的算法,并保证精度
東京都立短期大学経営情報学科;
早稲田大学理工学部;
Dept. of Management, Tokyo Metropolitan College, 3-6-33 Azuma-cho, Akishima-shi, 196-8540 JapanSchool of Science and Engineering, Waseda University, 3-4-1 Okubo, Shinjuku-ku, Tokyo, 169-8555 Japan;
精度保証付き数値計算; 区間演算; 全解探索; 常微分方程式; Krawczyk写像;