Makino, Kyoko; Berz, Martin Taylor models and other validated functional inclusion methods. (English) Zbl 1022.65051 Int. J. Pure Appl. Math. 4, No. 4, 379-456 (2003). Reviewer: Dana Petcu (Timişoara) MSC: 65G40 65G20 34A34 65D32 65L20 65L06 65K05 PDFBibTeX XMLCite \textit{K. Makino} and \textit{M. Berz}, Int. J. Pure Appl. Math. 4, No. 4, 379--456 (2003; Zbl 1022.65051)
Makino, Kyoko; Berz, Martin Efficient control of the dependency problem based on Taylor model methods. (English) Zbl 0936.65073 Reliab. Comput. 5, No. 1, 3-12 (1999). MSC: 65K05 90C30 65G20 65G30 PDFBibTeX XMLCite \textit{K. Makino} and \textit{M. Berz}, Reliab. Comput. 5, No. 1, 3--12 (1999; Zbl 0936.65073) Full Text: DOI