PaperInclusion relations between power methods and matrix methods of limitationAbraham ZivTrans. Am. Math. Soc.
PaperFast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last BitAbraham ZivACM Transactions on Mathematical Software (TOMS)
Conference paperSolving constraints on the invisible bits of the intermediate result for floating-point verificationMerav Aharoni, Sigal Asaf, et al.ARITH 2005
Conference paperSolving range constraints for binary floating-point instructionsAbraham Ziv, Merav Aharoni, et al.ARITH 2003