20 citations · 24 across the 7 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 4 cited
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…
math.NA2016
First-Order Indicators for the Estimation of Discrete Fractures in Porous Media
Hend Ben Ameur, Guy Chavent, Cheikh Fatma +3
Faults and geological barriers can drastically affect the flow patterns in porous media. Such fractures can be modeled as interfaces that interact with the surrounding matrix. We p…