Probabilistic Error Analysis For Sequential Summation of Real Floating Point Numbers

Johnathan Rhyne

We derive two probabilistic bounds for the relative forward error in the floating point summation of $n$ real numbers, by representing the roundoffs as independent, zero-mean, boun…