Abraham Ziv

2007
3	EE	Merav Aharoni, Ron Maharik, Abraham Ziv: Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. IEEE Symposium on Computer Arithmetic 2007: 38-45
2005
2	EE	Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv: Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification. IEEE Symposium on Computer Arithmetic 2005: 76-83
1999
1		Abraham Ziv: Sharp ULP rounding error bound for the hypotenuse function. Math. Comput. 68(227): 1143-1148 (1999)

Coauthor Index

1	Merav Aharoni	[2] [3]
2	Sigal Asaf	[2]
3	Ron Maharik	[2] [3]
4	Ilan Nehama	[2]
5	Ilya Nikulshin	[2]