Crossmark

Formally verified roundoff error bounds on LogSumExp-based computations

Published Online: 2026-06-08

Published Print: 2026-06

Authors

Bonnot, Paul

Boyer, Benoît

Faissole, Florian

Marché, Claude

Rieu-Helft, Raphaël
License Information

Text and Data Mining valid from 2026-06-01

Version of Record valid from 2026-06-01
More Information

Article History

Received: 14 March 2025

Accepted: 5 May 2026

First Online: 8 June 2026

Declarations

:

: The authors declare no competing interests.

Document is current