Accurate Summation: Towards a Simpler and Formal Proof
Abstract
This paper provides a simpler proof of the "accurate summation" algorithm proposed by Demmel and Hida. It also gives improved bounds in some cases, and examples showing that those new bounds are optimal. This simpler proof will be used to obtain a computer-checked proof of Demmel-Hida's algorithm.