( en | de | ru )

 

Disambiguation of "Boldo, Sylvie"

Author of the publication

copydeleteadd this publication to your clipboard
A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm.

, , and . ARITH, page 9-16. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pinia Boldo

Angela Boldova-Valeva

Christine Boldor

Marcel Boldorf

Sylvie Gasnier

 

Other publications of authors with the same name

Formal Verification of Programs Computing the Floating-Point Average.. ICFEM, volume 9407 of Lecture Notes in Computer Science, page 17-32. Springer, (2015)Trusting computations: A mechanized proof from partial differential equations to actual program., , , , , and . Comput. Math. Appl., 68 (3): 325-352 (2014)Hardware-independent Proofs of Numerical Programs., and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 14-23. (2010)Emulating Round-to-Nearest Ties-to-Zero Äugmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic., , and . IEEE Trans. Computers, 70 (7): 1046-1058 (2021)A Coq Formalization of Lebesgue Integration of Nonnegative Functions., , , , and . CoRR, (2021)A Coq Formalization of the Bochner integral., , and . CoRR, (2022)A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem., , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 39-55. Springer, (2023)Stupid is as Stupid Does: Taking the Square Root of the Square of a Floating-Point Number.. NSV, volume 317 of Electronic Notes in Theoretical Computer Science, page 27-32. Elsevier, (2014)A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers., , and . ARITH, page 69-75. IEEE, (2018)Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs., and . Math. Comput. Sci., 5 (4): 377-393 (2011)