Vincent Martin (LMAC)

Identifiers

• name variant Vincent Martin (LMAC) 0.60 · backfill

Papers (3)

1. A Rocq Formalization of Simplicial Lagrange Finite Elements cs.LO · 2026 · author #4
2. The Lax-Milgram Theorem. A detailed proof to be formalized in Coq cs.LO · 2016 · author #2
3. First-Order Indicators for the Estimation of Discrete Fractures in Porous Media math.NA · 2016 · author #6

Mentions

• 1607.03618 #2 · arxiv_oai · confidence 0.70 Vincent Martin (LMAC)
• 1602.08304 #6 · arxiv_oai · confidence 0.70 Vincent Martin (LMAC)

Frequent Coauthors

• Fran\c{c}ois Cl\'ement (SERENA) 2 shared papers
• CERMICS UMR 9032) 1 shared papers
• Cheikh Fatma (LAMSIN 1 shared papers
• Fran\c{c}ois Cl\'ement (SERENA 1 shared papers
• Guy Chavent (SERENA) 1 shared papers
• Hend Ben Ameur (LAMSIN) 1 shared papers
• Houda Mouhcine (TOCCATA 1 shared papers
• Jean E. Roberts (SERENA) 1 shared papers
• LIPN 1 shared papers
• LIPN) 1 shared papers
• Micaela Mayero (TOCCATA 1 shared papers
• SERENA 1 shared papers
• SERENA) 1 shared papers
• Sylvie Boldo (TOCCATA) 1 shared papers