- 3
Sylvie Boldo
3
Documents
Identifiants chercheurs
- sboldo
- 0000-0002-1970-3019
- IdRef : 112505821
Présentation
Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.
Publications
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
|
Optimal Inverse Projection of Floating-Point AdditionNumerical Algorithms, In press, 83 (3), pp.957--986. ⟨10.1007/s11075-019-00711-z⟩
Article dans une revue
hal-01939097v1
|
|
A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product AlgorithmARITH 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
|
|
A Coq formalization of digital filtersCICM 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
|