Long-term stability of the Tevatron by verified global optimization
暂无分享,去创建一个
[1] Kyoko Makino,et al. Rigorous analysis of nonlinear motion in particle accelerators , 1998 .
[2] M. Berz. Differential Algebraic Description of Beam Dynamics to Very High Orders , 1988 .
[3] Martin Berz. Differential Algebraic Formulation of Normal Form Theory , 1992 .
[4] R. Baker Kearfott,et al. The cluster problem in multivariate global optimization , 1994, J. Glob. Optim..
[5] Ramon E. Moore. Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.
[6] R. B. Kearfott. Rigorous Global Search: Continuous Problems , 1996 .
[7] Martin Berz,et al. Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models , 1998, Reliab. Comput..
[8] Jorge J. Moré,et al. Testing Unconstrained Optimization Software , 1981, TOMS.
[9] Eldon Hansen,et al. Global optimization using interval analysis , 1992, Pure and applied mathematics.
[10] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[11] H. Wiedemann. Particle accelerator physics , 1993 .
[12] P. W. Hawkes,et al. Modern map methods in particle beam physics , 1999 .
[13] Martin Berz,et al. Efficient Control of the Dependency Problem Based on Taylor Model Methods , 1999, Reliab. Comput..
[14] Nathalie Revol,et al. Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY , 2005, J. Log. Algebraic Methods Program..
[15] M. Berz,et al. New approaches for the validation of transfer maps using remainder-enhanced differential algebra , 2004 .