Finite element method. Detailed proofs to be formalized in Coq

François Clément, Vincent Martin

To obtain the highest confidence on the correction of numerical simulation programs for the resolution of Partial Differential Equations (PDEs), one has to formalize the mathematic…