Sylvie Boldo

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

V. Martin, Sylvie Boldo, F. Clément, 2017 .

Appendix A : Duff ’ s Device

Sandrine Blazy, Sylvie Boldo, F. Pottier, 2017 .

Informatique Mathématique : une photographie en 2013

Mariette Yvinec, Jean-Daniel Boissonnat, Frédéric Chazal, 2013 .

Laboratoire de l'Informatique du Parallélisme

Sylvie Boldo, Guillaume Melquiond, 2004 .

Preuves formelles en arithmétiques à virgule flottante

Sylvie Boldo, Sylvie Boldo, 2004 .