A Coq formal proof of the LaxMilgram theorem
CPP, pp. 79-89, 2017.
The Finite Element Method is a widely-used method to solve numerical problems coming for instance from physics or biology. 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 results that allow to establish the soundne...More
Full Text (Upload PDF)
PPT (Upload PPT)