Synonyms
Calculation verification; Code verification; Numerical uncertainty; Solution verification
Short Definition
Verification is the process of ensuring that numerical simulation results are a sufficiently accurate representation of the exact solution to a mathematical model.
Introduction
Mathematical models are used in science and engineering to describe the behavior of a system. In many cases, these models take the form of partial differential equations (PDEs) which require numerical solutions (i.e., simulations) due to their complexity. Verification and validation provide a means for assessing the credibility and accuracy of mathematical models and their subsequent simulations [1–3]. Verification deals with assessing the numerical accuracy of a simulation relative to the true result of the model. Validation, on the other hand, is the assessment of the accuracy of the model relative to experimental observations. For models based on PDEs (which we will consider exclusively in this...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Roache, P.J.: Fundamentals of Verification and Validation. Hermosa, Socorro (2009)
Oberkampf, W.L., Roy, C.J.: Verification and Validation in Scientific Computing. Cambridge University Press, Cambridge (2010)
Roy, C.J.: Review of code and solution verification procedures for computational simulation. J. Comput. Phys. 205, 131–156 (2005)
Golub, G.H., Van Loan C.F.: Matrix Computations, 3rd edn. The Johns Hopkins University Press, Baltimore (1996)
Duggirala, R., Roy, C.J., Saeidi, S.M., Khodadadi, J., Cahela, D., Tatarchuck, B.: Pressure drop predictions for microfibrous flows using CFD. J. Fluids Eng. 130 (2008). doi:10.1115/1.2948363
Roy, C.J.: Review of Discretization Error Estimators in Scientific Computing. In: AIAA Paper 2010-0126 (2010)
Ainsworth, M., Oden, J.T.: A Posteriori Error Estimation in Finite Element Analysis. Wiley, New York (2000)
Skeel, R.D.: Thirteen ways to estimate global error. Numerische Mathematik 48, 1–20 (1986)
Roy, C.J., Oberkampf W.L.: A comprehensive framework for verification, validation, and uncertainty quantification in scientific computing. Comput. Methods Appl. Mech. Eng. 200(25–28), 2131–2144 (2011). doi:10.1016/j.cma.2011.03.016
Roy, C.J., Balch, M.S.: A holistic approach to uncertainty quantification with application to supersonic nozzle thrust. Int. J. Uncertain. Quantif. 2(4), 363–381 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this entry
Cite this entry
Roy, C.J. (2015). Verification. In: Engquist, B. (eds) Encyclopedia of Applied and Computational Mathematics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70529-1_311
Download citation
DOI: https://doi.org/10.1007/978-3-540-70529-1_311
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70528-4
Online ISBN: 978-3-540-70529-1
eBook Packages: Mathematics and StatisticsReference Module Computer Science and Engineering