Wiki Agenda Contact Version française

Publications : Florian Faissole

[1] Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, and Micaela Mayero. A Coq Formal Proof of the Lax-Milgram theorem. In 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France, January 2017. [ bib | full text on HAL ]
Keywords: Lax-Milgram theorem ; formal proof ; functional analysis ; finite element method ; Coq

This page was generated by bibtex2html.