
Francois Clement
37
Documents
Publications
Publications
|
Teaching Divisibility and Binomials with Coq13th International Workshop on Theorem proving components for Educational software - ThEdu 2024, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2024, Nancy, France
Communication dans un congrès
hal-04725586
v2
|
|
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩
Communication dans un congrès
hal-03889276
v2
|
|
A Coq formal proof of the Lax–Milgram theorem6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩
Communication dans un congrès
hal-01391578
v1
|
|
Preuve formelle du théorème de Lax–Milgram16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès
hal-01581807
v1
|
|
Formal proof of a wave equation resolution scheme: the method errorITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
Communication dans un congrès
inria-00450789
v3
|
Domain Decomposition and Skeleton Programming with OCamlP3lProceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818
Communication dans un congrès
hal-00149565
v1
|
|
|
Parameter identification for a one-dimensional blood flow modelCEMRACS 2004 - Centre d'été de Mathématiques et Recherche Avancées en Calcul scientifique : Mathematics and applications to biology and medicine, Jul 2004, Marseille, France. pp.174-200, ⟨10.1051/proc:2005014⟩
Communication dans un congrès
hal-00700366
v1
|
Chargement...
Chargement...