Breden, Maxime A posteriori validation of generalized polynomial chaos expansions. (English) Zbl 07712414 SIAM J. Appl. Dyn. Syst. 22, No. 2, 765-801 (2023). MSC: 37M21 34F05 42C05 41A58 60H35 65P20 65P30 PDFBibTeX XMLCite \textit{M. Breden}, SIAM J. Appl. Dyn. Syst. 22, No. 2, 765--801 (2023; Zbl 07712414) Full Text: DOI arXiv
Balázs, István; van den Berg, Jan Bouwe; Courtois, Julien; Dudás, János; Lessard, Jean-Philippe; Vörös-Kiss, Anett; Williams, J. F.; Yin, Xi Yuan Computer-assisted proofs for radially symmetric solutions of PDEs. (English) Zbl 1409.35017 J. Comput. Dyn. 5, No. 1-2, 61-80 (2018). MSC: 35A35 41A58 65M99 65G20 65G40 35K57 58C15 35J61 PDFBibTeX XMLCite \textit{I. Balázs} et al., J. Comput. Dyn. 5, No. 1--2, 61--80 (2018; Zbl 1409.35017) Full Text: DOI
Estévez Schwarz, Diana; Lamour, René Projector based integration of DAEs with the Taylor series method using automatic differentiation. (English) Zbl 1301.65087 J. Comput. Appl. Math. 262, 62-72 (2014). MSC: 65L80 65D25 PDFBibTeX XMLCite \textit{D. Estévez Schwarz} and \textit{R. Lamour}, J. Comput. Appl. Math. 262, 62--72 (2014; Zbl 1301.65087) 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