PaperFast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last BitAbraham ZivACM Transactions on Mathematical Software (TOMS)
PaperInclusion relations between power methods of limitationAbraham ZivPacific Journal of Mathematics
Conference paperSolving constraints on the invisible bits of the intermediate result for floating-point verificationMerav Aharoni, Sigal Asaf, et al.ARITH 2005
Conference paperSolving constraints on the intermediate result of decimal floating-point operationsMerav Aharoni, Ron Maharik, et al.ARITH 2007
