Neher, Markus Verified integration of linear \(n\)th order ODEs using large steps. (English) Zbl 1114.65082 Appl. Math. Comput. 186, No. 1, 879-890 (2007). MSC: 65L05 34A30 65G40 PDFBibTeX XMLCite \textit{M. Neher}, Appl. Math. Comput. 186, No. 1, 879--890 (2007; Zbl 1114.65082) Full Text: DOI
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
Neher, M. Improved bounds for Taylor coefficients of analytic functions. (English) Zbl 1419.41004 PAMM, Proc. Appl. Math. Mech. 1, 450-451 (2002). MSC: 41A58 PDFBibTeX XMLCite \textit{M. Neher}, PAMM, Proc. Appl. Math. Mech. 1, 450--451 (2002; Zbl 1419.41004) Full Text: DOI
Neher, Markus Geometric series bounds for the local errors of Taylor methods for linear \(n\)-th order ODEs. (English) Zbl 0987.65064 Alefeld, Götz (ed.) et al., Symbolic algebraic methods and verification methods. Wien: Springer. 183-193 (2001). Reviewer: Günter Mayer (Speyer) MSC: 65L05 34A30 65L50 65G40 65L70 PDFBibTeX XMLCite \textit{M. Neher}, in: Symbolic algebraic methods and verification methods. Wien: Springer. 183--193 (2001; Zbl 0987.65064)