PaperInclusion relations between power methods of limitationAbraham ZivPacific Journal of Mathematics
Conference paperSolving constraints on the invisible bits of the intermediate result for floating-point verificationMerav Aharoni, Sigal Asaf, et al.ARITH 2005
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