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

Sylvie Boldo, Florian Faissole, Vincent Tourneur

Browse the full ARITH paper archive.