Makino, Kyoko; Berz, Martin Taylor models and other validated functional inclusion methods. (English) Zbl 1055.65095 Int. J. Pure Appl. Math. 6, No. 3, 239-316 (2003). The authors give a review of Taylor model methods for validated computation and compares the efficacy of a number of different approaches. Arithmetics for effective computation of Taylor model methods are presented along with a number of algorithms for computing a variety of analytic operations. Reviewer: Kevin Burrage (Brisbane) Cited in 17 Documents MSC: 65L20 Stability and convergence of numerical methods for ordinary differential equations 65L06 Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations 65G20 Algorithms with automatic result verification 34A60 Ordinary differential inclusions Keywords:Taylor model methods; validated computation; algorithms Software:INTLAB PDFBibTeX XMLCite \textit{K. Makino} and \textit{M. Berz}, Int. J. Pure Appl. Math. 6, No. 3, 239--316 (2003; Zbl 1055.65095)