... Taylor models into a Remainder Dierential Algebra 70 Makino and Berz Examples Remainder Dierential Algebras have many applications, including global optimization, quadrature, and solution of dierential ... [Berz1996b] M Berz, K Makino, K Shamseddine, G H Hoffstatter, and W Wan, COSY INFINITY and its applications to nonlinear dynamics, in Computational Dierentiation: Techniques, Applications, and Tools, M ... remainder term is small of order four According to (7), the Taylor model of 1/i is then T, = i ả 1 1 (x 2) + (x 2)2 (x 2)3 , [0, 4.038 ì 106 ] , 2 2 Remainder Differential Algebras and Applications...