125 citations
- Mohamed Ali Zormati2 profiles5 · h 4
- Antoine Bordes2 profiles4 · h 45
- Hicham Lakhlef2 profiles4 · h 3
- Marie‐Hélène Abel4
- Ngoc Luyen Lê4
- Philippe Gouspillou2 profiles4 · h 1
- Sébastien Destercke2 profiles4 · h 25
- A. Ibrahimbegovic3 · h 50
- F. Davoine3 · h 26
- Franccois Cl'ement3 · h 4
- J. Weston3 · h 107
- Nicolas Usunier2 profiles3 · h 46
- Heuristics and Diagnostics for Complex SystemsFR32 papers
- Centre National de la Recherche ScientifiqueFR28 papers
- Sorbonne UniversitéFR14 papers
- Biomécanique et BioingénierieFR5 papers
- Institut Polytechnique de BordeauxFR5 papers
- Laboratoire de mathématiques appliquées de CompiègneFR5 papers
- Laboratoire RobervalFR5 papers
- CERMICSFR3 papers
- École Normale Supérieure Paris-SaclayFR3 papers
- Université de BordeauxFR3 papers
- Université de Picardie Jules VerneFR3 papers
- Université Paris Dauphine-PSLFR3 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
A Rocq Formalization of Simplicial Lagrange Finite Elements
Sylvie Boldo, François Clément, Vincent Martin +2
Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finit…
cs.LO2025
A Rocq Formalization of Monomial and Graded Orders
Sylvie Boldo, François Clément, Vincent Martin +1
Even if binary relations and orders are a common formalization topic, we need to formalize specific orders (namely monomial and graded) in the process of formalizing in Rocq the fi…
cs.LO2024
Finite element method. Detailed proofs to be formalized in Coq
François Clément, Vincent Martin
To obtain the highest confidence on the correction of numerical simulation programs for the resolution of Partial Differential Equations (PDEs), one has to formalize the mathematic…