# A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers

ARITH, pp. 69-75, 2018.

EI

Abstract:

Some modern processors include decimal floating-point units, with a conforming implementation of the IEEE-754 2008 standard. Unfortunately, many algorithms from the computer arithmetic literature are not correct anymore when computations are done in radix 10. This is in particular the case for the computation of the average of two floatin...More

Code:

Data:

Tags

Comments