Accéder directement au contenu

Sylvie Boldo

4
Documents
Identifiants chercheurs

Présentation

Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.

Publications

838872
Image document

A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem

 Sylvie Boldo , François Clément , Vincent Martin , Micaela Mayero , Houda Mouhcine
25th 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-03889276v2
Image document

A Coq formal proof of the Lax–Milgram theorem

 Sylvie Boldo , François Clément , Florian Faissole , Vincent Martin , Micaela Mayero
6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩
Communication dans un congrès hal-01391578v1
Image document

Preuve formelle du théorème de Lax–Milgram

 Sylvie Boldo , François Clément , Florian Faissole , Vincent Martin , Micaela Mayero
16èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès hal-01581807v1
Image document

Lebesgue Induction and Tonelli's Theorem in Coq

 Sylvie Boldo , François Clément , Vincent Martin , Micaela Mayero , Houda Mouhcine
[Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17
Rapport hal-03564379v2