Publications : Paul Bonnot
Back| [4] | Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, and Raphaël Rieu-Helft. Formally verified roundoff error bounds on logsumexp-based computations. working paper, 2025. [ bib | full text on HAL ] |
| [3] | Paul Bonnot, Benoît Boyer, Florian Faissole, and Claude Marché. Generating and certifying accuracy properties of floating-point programs. Technical Report RR-9564, Inria, 2024. [ bib | full text on HAL ] |
| [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.