PaperA stable method for the evaluation of a polynomial and of a rational function of one variableAbraham ZivNumerische Mathematik
Conference paperSolving constraints on the invisible bits of the intermediate result for floating-point verificationMerav Aharoni, Sigal Asaf, et al.ARITH 2005
PaperInclusion relations between power methods of limitationAbraham ZivPacific Journal of Mathematics
PaperSolving the generalized mask constraint for test generation of binary floating point add operationAbraham Ziv, Laurent FournierTheoretical Computer Science
