Accurate Summation: Towards a Simpler and Formal Proof - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

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.
No file

Dates and versions

inria-00099686 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099686 , version 1

Cite

Laurent Fousse, Paul Zimmermann. Accurate Summation: Towards a Simpler and Formal Proof. 5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, 11 p. ⟨inria-00099686⟩
138 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More