Abraham Ziv

According to our database, Abraham Ziv authored at least 4 papers between 1991 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

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

Merav Aharoni, Ron Maharik, Abraham Ziv

Proceedings of the 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 2007

2005

Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.

Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

1999

Sharp ULP rounding error bound for the hypotenuse function.

Abraham Ziv

Math. Comput., 1999

1991

Fast evaluation of elementary mathematical functions with correctly rounded last bit.

Abraham Ziv

ACM Trans. Math. Softw., 1991