TY  - RPRT
TI  - A Rocq Formalization of Simplicial Lagrange Finite Elements
AU  - Sylvie Boldo
AU  - François Clément
AU  - Vincent Martin
AU  - Micaela Mayero
AU  - Houda Mouhcine
PY  - 2026
UR  - https://arxiv.org/abs/2604.20345
ID  - 2604.20345
ER  -