On the robustness of the 2Sum and Fast2Sum algorithms, ACM Transactions on Mathematical Software, vol.44, issue.1, 2017. ,
URL : https://hal.archives-ouvertes.fr/ensl-01310023
Computer Arithmetic and Formal Proofs, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01632617
Emulation of FMA and correctly rounded sums: proved algorithms using rounding to odd, IEEE Transactions on Computers, vol.57, issue.4, pp.462-471, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00080427
A floating-point technique for extending the available precision, Numerische Mathematik, vol.18, issue.3, pp.224-242, 1971. ,
Efficient reproducible floating point summation and BLAS, 2016. ,
A machine-checked theory of floating point arithmetic, 12th International Conference in Theorem Proving in Higher Order Logics (TPHOLs), vol.1690, pp.113-130, 1999. ,
Handling floating-point exceptions in numeric programs, ACM Transactions on Programming Languages and Systems, vol.18, issue.2, pp.139-174, 1996. ,
Standard for Floating-Point Arithmetic (IEEE Std 754-2019), 2019. ,
On various ways to split a floating-point number, 25th IEEE Symposium on Computer Arithmetic, pp.53-60, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01774587
Lecture notes on the status of IEEE-754, 1997. ,
The Art of Computer Programming, vol.2, 1998. ,
Quasi double-precision in floating-point addition, BIT, vol.5, pp.37-50, 1965. ,
Handbook of Floating-Point Arithmetic, Birkhäuser Boston, 2018. ,
URL : https://hal.archives-ouvertes.fr/ensl-00379167
Scalar fused multiply-add instructions produce floatingpoint matrix arithmetic provably accurate to the penultimate digit, ACM Transactions on Mathematical Software, vol.29, issue.1, pp.27-48, 2003. ,
Augmented arithmetic operations proposed for IEEE-754 2018, 25th IEEE Symposium on Computer Arithmetic, pp.45-52, 2018. ,
Ultimately fast accurate summation, SIAM Journal on Scientific Computing, vol.31, issue.5, pp.3466-3502, 2009. ,
Floating-Point Computation, 1974. ,