Boldo, S., Clément, F., Martin, V., Mayero, M., & Mouhcine, H. (2026). A Rocq Formalization of Simplicial Lagrange Finite Elements.
Style de citation Chicago (17e éd.)Boldo, Sylvie, François Clément, Vincent Martin, Micaela Mayero, et Houda Mouhcine. A Rocq Formalization of Simplicial Lagrange Finite Elements. 2026.
Style de citation MLA (9e éd.)Boldo, Sylvie, et al. A Rocq Formalization of Simplicial Lagrange Finite Elements. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.