PaperRelative distance-an error measure in round-off error analysisAbraham ZivMathematics of Computation
Conference paperSolving range constraints for binary floating-point instructionsAbraham Ziv, Merav Aharoni, et al.ARITH 2003
PaperInclusion relations between power methods and matrix methods of limitationAbraham ZivTrans. Am. Math. Soc.
PaperSolving the generalized mask constraint for test generation of binary floating point add operationAbraham Ziv, Laurent FournierTheoretical Computer Science