Skip to Main content Skip to Navigation
Conference papers

Numerical Verification of Industrial Numerical Codes

Abstract : Several approximations occur during a numerical simulation: physical e ects mapy be discarded, continuous functions replaced by discretized ones and real numbers replaced by finite-precision representations. The use of the floating point arithmetic generates round-o errors at each arithmetical expression and some mathematical properties are lost. The aim of the numerical verification activity at EDF R&D is to study the e ect of the round-o error propagation on the results of a numerical simulation. It is indeed crucial to perform a numerical verification of industrial codes such as devel- opped at EDF R&D even more for code running in HPC environments. This paper presents some recent studies around the numerical verification at EDF R&D
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Séthy Montan <>
Submitted on : Friday, December 14, 2012 - 5:22:08 PM
Last modification on : Friday, January 8, 2021 - 5:40:03 PM
Long-term archiving on: : Friday, March 15, 2013 - 3:52:28 AM


Files produced by the author(s)



Christophe Denis, Séthy Montan. Numerical Verification of Industrial Numerical Codes. Congrès National de Mathématiques Appliquées et Industrielles, May 2011, Guidel, France. pp.107-113, ⟨10.1051/proc/201235006⟩. ⟨hal-00765536⟩



Record views


Files downloads