Accurate calculation of Euclidean norms using double-word arithmetic

DOI10.1145/3568672WikidataQ131113284 ScholiaQ131113284MaRDI QIDQ6599993

Jean-Michel Muller, Nicolas Louvet, Laurence Rideau, Vincent Lefèvre, Joris Picot

Publication date: 6 September 2024

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

zbMATH Keywords

floating-point arithmeticproof assistantformalizationEuclidean normsoverflowsquare-rootunderflowcoqdouble-double arithmeticdouble-word arithmetic

Mathematics Subject Classification ID

Numerical analysis (65-XX)

This page was built for publication: Accurate calculation of Euclidean norms using double-word arithmetic