1. Makino, K., Berz, M.: Efficient control of the dependency problem based on Taylor model methods. Reliable Computing 5(1), 3–12 (1999)
2. Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics 6(3), 239–316 (2003), available at
http://bt.pa.msu.edu/pub
3. Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing 4(4), 361–369 (1998)
4. Makino, K.: Rigorous Analysis of Nonlinear Motion in Particle Accelerators. PhD thesis, Michigan State University, East Lansing, Michigan, USA, Also MSUCL-1093 (1998)
5. Berz, M.: Modern Map Methods in Particle Beam Physics. Academic Press, San Diego (1999), Also available at
http://bt.pa.msu.edu/pub