Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study

DOI10.1155/2019/5782146MaRDI QIDQ2298571zbMATHOpenAlexFDO

Authors Shiyu Yan, Xiaohua Yang, Guodong Cheng, Hua Liu

Publication date 20 February 2020

Published in Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1155/2019/5782146

Mathematics Subject Classification ID

Euler-Maclaurin formula in numerical analysis (65B15) Finite difference methods for initial value and initial-boundary value problems involving PDEs (65M06) Algorithms with automatic result verification (65G20)

Recommendations

• A code-independent technique for computational verification of fluid mechanics and heat transfer problems
• A least square extrapolation method for improving solution accuracy of PDE computations
• Generalized Richardson extrapolation procedures for estimating grid-independent numerical solutions
• Verification and validation in scientific computing code
• Richardson extrapolation. Practical aspects and applications

Cites work

• ARPACK Users' Guide
• Formal proof -- theory and practice
• New benchmark solutions for transient natural convection in partially porous annuli
• Review of code and solution verification procedures for computational simulation

This page was built for publication: Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2298571)