Accurate Summation: Towards a Simpler and Formal Proof (original) (raw)
Loading...
Communication Dans Un Congrès Année : 2003
Laurent Fousse (1) , Paul Zimmermann (1)
1 SPACES - Solving problems through algebraic computation and efficient software
- Fonction : Auteur
SPACES - Solving problems through algebraic computation and efficient software
- Fonction : Auteur
- PersonId : 1043
- IdHAL : paul-zimmermann
- ORCID : 0000-0003-0718-4458
- IdRef : 034200282
SPACES - Solving problems through algebraic computation and efficient software
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.
Mots clés
Domaines
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 : mardi 4 novembre 2025-12:04:52
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
Collections
316 Consultations
0 Téléchargements