A brief overview of the state-of-the-practice and current challenges of solution verification

DOI10.1007/978-3-540-77362-7_10MaRDI QIDQ3196290zbMATH OpenOpenAlexFDO

Authors François M. Hemez, James R. Kamm

Publication date 29 October 2015

Published in Lecture Notes in Computational Science and Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77362-7_10

zbMATH Keywords

convergenceerror boundsnumerical examplesBurgers equationconservation lawfinite elementsdiscontinuous solutionssolution verificationequations-of-motion

Mathematics Subject Classification ID

PDEs in connection with fluid mechanics (35Q35) Hyperbolic conservation laws (35L65) Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs (65M12) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Algorithms with automatic result verification (65G20)

Recommendations

• Review of code and solution verification procedures for computational simulation
• A multilevel method for solution verification
• A code-independent technique for computational verification of fluid mechanics and heat transfer problems
• Verification of variable-density flow solvers using manufactured solutions
• scientific article; zbMATH DE number 1845080

Cites work

• scientific article; zbMATH DE number 47851 (Why is no real title available?)
• scientific article; zbMATH DE number 1845080 (Why is no real title available?)
• A posteriori error estimation in finite element analysis
• Finite Volume Methods for Hyperbolic Problems
• On balanced approximations for time integration of multiple time scale systems.
• Review of code and solution verification procedures for computational simulation
• The modified equation approach to the stability and accuracy analysis of finite-difference methods

Cited in

(4)

• Review of code and solution verification procedures for computational simulation
• Why there is no general solution to the problem of software verification
• Solution verification of multiphase flows with one-way coupling
• Verification of a fluid-dynamics solver using correlations with linear stability results

This page was built for publication: A brief overview of the state-of-the-practice and current challenges of solution verification

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