Conference paperSolving constraints on the invisible bits of the intermediate result for floating-point verificationMerav Aharoni, Sigal Asaf, et al.ARITH 2005
PaperA stable method for the evaluation of a polynomial and of a rational function of one variableAbraham ZivNumerische Mathematik
Conference paperSolving constraints on the intermediate result of decimal floating-point operationsMerav Aharoni, Ron Maharik, et al.ARITH 2007
PaperFast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last BitAbraham ZivACM Transactions on Mathematical Software (TOMS)
