Accurate Summation: Towards a Simpler and Formal Proof - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Accurate Summation: Towards a Simpler and Formal Proof

Résumé

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.

Domaines

Autre [cs.OH]

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00099686

Soumis le : mardi 26 septembre 2006-09:40:19

Dernière modification le : jeudi 15 février 2024-03:30:53

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00099686 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
133 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More