Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions

DOI10.1109/TC.2015.2441714zbMath1360.65330OpenAlexW2292017636MaRDI QIDQ2985528

Valentina Popescu, Olivier Marty, Jean-Michel Muller, Mioara Joldes

Publication date: 16 May 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2015.2441714

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (3)

Formal verification of a floating-point expansion renormalization algorithm ⋮ CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications ⋮ Detecting unreliable computer simulations of recursive functions with interval extensions

This page was built for publication: Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions