Formally verified roundoff error bounds on LogSumExp-based computations

Formal Methods in System Design 2026 Open access

Read full text
Authors: Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft
DOI: 10.1007/s10703-026-00497-6
Cited by: 0
References: 72

Fields of Study & Subjects

Parallel Computing and Optimization Techniques Embedded Systems Design Techniques Logic programming and type systems

Publication details

Journal / source
Formal Methods in System Design
Publisher
Springer Science and Business Media LLC
Volume
68
Issue
3
Publication date
1 June 2026
Language
EN