Performance of Taylor Model Methods for Validated Integration of ODEs
暂无分享,去创建一个
[1] R. Lohner. Einschliessung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen , 1988 .
[2] Martin Berz,et al. Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models , 1998, Reliab. Comput..
[3] M. Berz,et al. TAYLOR MODELS AND OTHER VALIDATED FUNCTIONAL INCLUSION METHODS , 2003 .
[4] P. W. Hawkes,et al. Modern map methods in particle beam physics , 1999 .
[5] Martin Berz,et al. Efficient Control of the Dependency Problem Based on Taylor Model Methods , 1999, Reliab. Comput..
[6] PERTURBATIVE EQUATIONS OF MOTION AND DIFFERENTIAL OPERATORS IN NON-PLANAR CURVILINEAR COORDINATES , 2004 .
[7] Martin Berz,et al. Arbitrary order description of arbitrary particle optical systems , 1990 .
[8] Ramon E. Moore. Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.
[9] E. Adams,et al. Monotonically Convergent Numerical Two-sided Bounds for a Differential Birth and Death Process , 1975, Interval Mathematics.
[10] Kyoko Makino,et al. Rigorous analysis of nonlinear motion in particle accelerators , 1998 .