Simulation-Based Verification of Floating-Point Division

DOI10.1109/TC.2010.165zbMath1367.65219MaRDI QIDQ5280627

Merav Aharoni, Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman

Publication date: 27 July 2017

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

Mathematics Subject Classification ID

Roundoff error (65G50) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (1)

Detecting unreliable computer simulations of recursive functions with interval extensions

This page was built for publication: Simulation-Based Verification of Floating-Point Division