20 citations · 24 across the 7 of their papers we have counts for
3 papers · 1 filter
The Lax-Milgram Theorem. A detailed proof to be formalized in Coq
François Clément, Vincent Martin
To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and result…
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre +3
Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalizati…
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre +3
Popular finite difference numerical schemes for the resolution of the one-dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalizati…