Fran\c{c}ois Cl\'ement (SERENA)

Identifiers

No identifiers captured yet.

Papers (2)

1. The Lax-Milgram Theorem. A detailed proof to be formalized in Coq cs.LO · 2016 · author #1
2. First-Order Indicators for the Estimation of Discrete Fractures in Porous Media math.NA · 2016 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Vincent Martin (LMAC) 2 shared papers
• Cheikh Fatma (LAMSIN 1 shared papers
• Guy Chavent (SERENA) 1 shared papers
• Hend Ben Ameur (LAMSIN) 1 shared papers
• Jean E. Roberts (SERENA) 1 shared papers
• SERENA) 1 shared papers