Abraham Ziv

Fast evaluation of elementary mathematical functions with correctly rounded last bit

Abraham Ziv, A. Ziv, 1991, TOMS.

Solving constraints on the invisible bits of the intermediate result for floating-point verification

Sigal Asaf, Merav Aharoni, Ilan Nehama, 2005, 17th IEEE Symposium on Computer Arithmetic (ARITH'05).

Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations

Merav Aharoni, Abraham Ziv, Ron Maharik, 2007, 18th IEEE Symposium on Computer Arithmetic (ARITH '07).

Sharp ULP rounding error bound for the hypotenuse function

Abraham Ziv, 1999, Math. Comput..

Rate of growth and convergence factors for power methods of limitation

Abraham Ziv, 1974 .