Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function.

Paul Bonnot, Benot Boyer, Florian Faissole, Claude March, Raphal Rieu-Helft

Browse the full FMCAD paper archive.