Conference paperSolving constraints on the intermediate result of decimal floating-point operationsMerav Aharoni, Ron Maharik, et al.ARITH 2007
Conference paperSolving range constraints for binary floating-point instructionsAbraham Ziv, Merav Aharoni, et al.ARITH 2003
PaperRelative distance-an error measure in round-off error analysisAbraham ZivMathematics of Computation
PaperInclusion relations between power methods and matrix methods of limitationAbraham ZivTrans. Am. Math. Soc.