Work

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

Year: 2024

Type: article

Abstract: International audience

DOI: 10.34727/2024/isbn.978-3-85448-065-5_31

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

Institutions: Université Paris-Saclay, TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations, Mitsubishi Electric (France)

Language: English

Topic: Numerical Methods and Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W4402384746

FWCI:

Cites:

Cited by:

Related to: 10