Sylvie Boldo - Dissemin

Dissemin is shutting down on January 1st, 2025

Language
Login

All papers authored by Sylvie Boldo

Distributing this paper is prohibited by the publisher

2023 Sylvie Boldo

ORCID

, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine

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

Upload

This paper was not found in any repository, but could be made available legally by the author.

2022 Louise Ben Salem-Knapp, Louise Ben Salem-Knapp, Sylvie Boldo

ORCID

, William Weens

ORCID

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

Upload

This paper is made freely available by the publisher.

2021 Sylvie Boldo

ORCID

, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

Download from link.springer.com

This paper was not found in any repository, but could be made available legally by the author.

2020 Sylvie Boldo

ORCID

, Christoph Quirin Lauter, Jean-Michel Muller

ORCID

Emulating Round-to-Nearest-Ties-to-Zero "augmented" Floating-Point Operations Using Round-to-Nearest-Ties-to-Even Arithmetic

Upload

This paper is made freely available by the publisher.

2019 Diane Gallois-Wong, Sylvie Boldo

ORCID

, Pascal Cuoq

Optimal inverse projection of floating-point addition

Download from link.springer.com

This paper was not found in any repository, but could be made available legally by the author.

Sylvie Boldo

ORCID

, Florian Faissole

ORCID

, Alexandre Chapoutot

Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods

Upload

Missing publications? Search for publications with a matching author name.