tlooto
Sign up
Parallel Computing and Optimization TechniquesEmbedded Systems Design TechniquesLogic, programming, and type systems

Formally verified roundoff error bounds on LogSumExp-based computations

Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft

2026.6.1FORMAL METHODS IN SYSTEM DESIGN

DOI: 10.1007/s10703-026-00497-6

Abstract

Abstract is not available.

Citation format

BONNOT, Paul, et al. Formally verified roundoff error bounds on logsumexp-based computations. FORMAL METHODS IN SYSTEM DESIGN, 2026, 68(3).