( en | de | ru )

 

Disambiguation of "Boldo, Sylvie"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of a Floating-Point Expansion Renormalization Algorithm.

, , , and . ITP, volume 10499 of Lecture Notes in Computer Science, page 98-113. Springer, (2017)

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

Trusting computations: A mechanized proof from partial differential equations to actual program., , , , , and . Comput. Math. Appl., 68 (3): 325-352 (2014)Formal Verification of Programs Computing the Floating-Point Average.. ICFEM, volume 9407 of Lecture Notes in Computer Science, page 17-32. Springer, (2015)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 the Bochner integral., , and . CoRR, (2022)A Coq Formalization of Lebesgue Integration of Nonnegative Functions., , , , and . CoRR, (2021)Hardware-independent Proofs of Numerical Programs., and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 14-23. (2010)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 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)A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers., , and . ARITH, page 69-75. IEEE, (2018)Deductive Formal Verification: How To Make Your Floating-Point Programs Behave.. (2014)