Accéder directement au contenu

Sylvie Boldo

7
Documents
Identifiants chercheurs

Présentation

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

Publications

micaela-mayero
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

Formal proof of a wave equation resolution scheme: the method error

Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond
ITP'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-00450789v3