Publications : Paul Bonnot
Back| [2] | Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, and Raphaël Rieu-Helft. Formally verified rounding errors of the logarithm-sum-exponential function. In Formal Methods in Computer-Aided Design. IEEE, 2024. [ bib | full text on HAL ] |
| [1] | Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, and Raphaël Rieu-Helft. Formally verified bounds on rounding errors in concrete implementations of logarithm-sum-exponential functions. Research Report 9531, Inria, 2023. [ bib | full text on HAL ] |
Back
This page was generated by bibtex2html.