Artikel dengan mandat akses publik - Sylvie BoldoPelajari lebih lanjut
Tersedia di suatu tempat: 6
Floating-point arithmetic
S Boldo, CP Jeannerod, G Melquiond, JM Muller
Acta Numerica 32, 203-290, 2023
Mandat: European Commission, Agence Nationale de la Recherche
A Coq formalization of Lebesgue integration of nonnegative functions
S Boldo, F Clément, F Faissole, V Martin, M Mayero
Journal of Automated Reasoning 66 (2), 175-213, 2022
Mandat: European Commission, Agence Nationale de la Recherche
Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods
S Boldo, F Faissole, A Chapoutot
IEEE Transactions on Computers 69 (12), 1745-1756, 2019
Mandat: Agence Nationale de la Recherche
Some formal tools for computer arithmetic: Flocq and Gappa
S Boldo, G Melquiond
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), 111-114, 2021
Mandat: European Commission, Agence Nationale de la Recherche
A Coq formalization of Lebesgue induction principle and Tonelli’s theorem
S Boldo, F Clément, V Martin, M Mayero, H Mouhcine
International Symposium on Formal Methods, 39-55, 2023
Mandat: European Commission
Bounding the Round-Off Error of the Upwind Scheme for Advection
LB Salem-Knapp, S Boldo, W Weens
IEEE Transactions on Emerging Topics in Computing 10 (3), 1253-1262, 2022
Mandat: European Commission, Agence Nationale de la Recherche
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer