Kearfott, R. Baker; Neher, Markus; Oishi, Shin’ichi; Rico, Fabien Libraries, tools, and interactive systems for verified computations four case studies. (English) Zbl 1126.65329 Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 36-63 (2004). MSC: 65Y15 65G20 PDFBibTeX XMLCite \textit{R. B. Kearfott} et al., Lect. Notes Comput. Sci. 2991, 36--63 (2004; Zbl 1126.65329) Full Text: DOI
Neher, M. Improved validated bounds for Taylor coefficients and for Taylor remainder series. (English) Zbl 1018.65030 J. Comput. Appl. Math. 152, No. 1-2, 393-404 (2003). MSC: 65D20 30B10 30-04 65G20 65Y15 65G30 65E05 PDFBibTeX XMLCite \textit{M. Neher}, J. Comput. Appl. Math. 152, No. 1--2, 393--404 (2003; Zbl 1018.65030) Full Text: DOI