Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study
From MaRDI portal
Publication:2298571
DOI10.1155/2019/5782146zbMath1435.65018OpenAlexW2914148489MaRDI QIDQ2298571
Guodong Cheng, Hua Liu, Xiao-Hua Yang, Shiyu Yan
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
Finite difference methods for initial value and initial-boundary value problems involving PDEs (65M06) Algorithms with automatic result verification (65G20) Euler-Maclaurin formula in numerical analysis (65B15)
Cites Work
This page was built for publication: Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study