( en | de | ru )

 

Disambiguierung von "Boldo, Sylvie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm.

, , und . ARITH, Seite 9-16. IEEE, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pinia Boldo

Angela Boldova-Valeva

Christine Boldor

Marcel Boldorf

Sylvie Zartmann

 

Weitere Publikationen von Autoren mit dem selben Namen

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