Conference paper
Solving range constraints for binary floating-point instructions
Abraham Ziv, Merav Aharoni, et al.
ARITH 2003
Paper
A non-equivalence theorem for power methods of limitation
Abstract
No abstract available.
Related
Abraham Ziv
ACM Transactions on Mathematical Software (TOMS)
Merav Aharoni, Sigal Asaf, et al.
ARITH 2005
Abraham Ziv
Pacific Journal of Mathematics