Personal information

Websites & social links

https://www.lri.fr/~sboldo/

Activities

Collapse all

Employment (1)

Inria: Saclay, Île-de-France, FR

2005-10-01 to present
Employment
Source: Self-asserted source
Sylvie Boldo

Works (6)

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

2023 | Book chapter
DOI: 10.1007/978-3-031-27481-7_4
Contributors: Sylvie Boldo; François Clément; Vincent Martin; Micaela Mayero; Houda Mouhcine
Source: check_circle
Crossref

Bounding the Round-Off Error of the Upwind Scheme for Advection

IEEE Transactions on Emerging Topics in Computing
2022-07-01 | Journal article
DOI: 10.1109/TETC.2022.3191472
Contributors: Louise Ben Salem-Knapp; Sylvie Boldo; William Weens
Source: check_circle
Crossref

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

Journal of Automated Reasoning
2022-05 | Journal article
DOI: 10.1007/s10817-021-09612-0
Contributors: Sylvie Boldo; François Clément; Florian Faissole; Vincent Martin; Micaela Mayero
Source: check_circle
Crossref

Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic

IEEE Transactions on Computers
2021-07-01 | Journal article
DOI: 10.1109/TC.2020.3002702
Contributors: Sylvie Boldo; Christoph Lauter; Jean-Michel Muller
Source: check_circle
Crossref

Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods

IEEE Transactions on Computers
2020-12-01 | Journal article
DOI: 10.1109/TC.2019.2917902
Contributors: Sylvie Boldo; Florian Faissole; Alexandre Chapoutot
Source: check_circle
Crossref

Optimal inverse projection of floating-point addition

Numerical Algorithms
2020-03-24 | Journal article
DOI: 10.1007/s11075-019-00711-z
Contributors: Diane Gallois-Wong; Sylvie Boldo; Pascal Cuoq
Source: check_circle
Crossref
How many people are using ORCID?