... Differential Algebras and Their Applications∗(Chapter of “Computational Differen tiation: Techniques, Applications, and Tools”,Martin Berz, Christian Bischof, George Corli ss, and Andreas Griewank, ... Berz, K. Makino, K. Shamseddine, G. H. Hoffst¨atter, and W. Wan,COSY INFINITY and its applications to nonlinear dynamics, in Computational D ifferentia-tion: Techniques,Applications,andTools,M.Berz,C.Bischof,G.Corliss,andA.Griewank,eds., ... Computing and Applied Mathematics, (1992).[Kulisch1981a] U. W. Kulisch and W. L. Miranker, Computer Arithmetic in Theory and Practice, Academic Press, New Yo rk, 1981.5. Remainder Differential Algebras...