SERENA

Identifiers

No identifiers captured yet.

Papers (1)

1. A Rocq Formalization of Simplicial Lagrange Finite Elements cs.LO · 2026 · author #9

Mentions

No mention provenance yet.

Frequent Coauthors

• CERMICS UMR 9032) 1 shared papers
• Fran\c{c}ois Cl\'ement (SERENA 1 shared papers
• Houda Mouhcine (TOCCATA 1 shared papers
• LIPN 1 shared papers
• LIPN) 1 shared papers
• Micaela Mayero (TOCCATA 1 shared papers
• Sylvie Boldo (TOCCATA) 1 shared papers
• Vincent Martin (LMAC) 1 shared papers