Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function
Authors
- Claude Marché (ORCID: https://orcid.org/0000-0003-3035-1269)
- Florian Faissole (ORCID: https://orcid.org/0000-0001-5792-0658)
- Raphaël Rieu-Helft
- Paul Bonnot
- Benoît Boyer
Institutions
- Université Paris-Saclay (FR)
- Mitsubishi Electric (France) (FR)
Publication Details
- Journal
- SPIRE - Sciences Po Institutional REpository
- Published
- 2024-09-23
- DOI
- https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_31
- Primary Topic
- Numerical Methods and Algorithms
- Type
- article