Accéder directement au contenu

Sylvie Boldo

2
Documents
Identifiants chercheurs

Présentation

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

Publications

thibault-hilaire
Image document

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm

Sylvie Boldo , Diane Gallois-Wong , Thibault Hilaire
ARITH 2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.9-16, ⟨10.1109/ARITH48897.2020.00011⟩
Communication dans un congrès hal-02982017v1
Image document

A Coq formalization of digital filters

Diane Gallois-Wong , Sylvie Boldo , Thibault Hilaire
CICM 2018 - 11th Conference on Intelligent Computer Mathematics, Aug 2018, Hagenberg, Austria. pp.87--103, ⟨10.1007/978-3-319-96812-4_8⟩
Communication dans un congrès hal-01728828v2