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
PaperSolving the generalized mask constraint for test generation of binary floating point add operationAbraham Ziv, Laurent FournierTheoretical Computer Science
Conference paperSolving range constraints for binary floating-point instructionsAbraham Ziv, Merav Aharoni, et al.ARITH 2003