PaperSolving the generalized mask constraint for test generation of binary floating point add operationAbraham Ziv, Laurent FournierTheoretical Computer Science
PaperRelative distance-an error measure in round-off error analysisAbraham ZivMathematics of Computation
Conference paperSolving constraints on the intermediate result of decimal floating-point operationsMerav Aharoni, Ron Maharik, et al.ARITH 2007
PaperA stable method for the evaluation of a polynomial and of a rational function of one variableAbraham ZivNumerische Mathematik
