A Coq formal proof of the LaxMilgram theorem

CPP, pp. 79-89, 2017.

Cited by: 8|Bibtex|Views4|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments