Mathematische Zeitschrift

Paper

01 Oct 1974

A non-equivalence theorem for power methods of limitation

View publication

Abstract

No abstract available.

Conference paper

Solving constraints on the intermediate result of decimal floating-point operations

Merav Aharoni, Ron Maharik, et al.

ARITH 2007

Paper

Solving the generalized mask constraint for test generation of binary floating point add operation

Abraham Ziv, Laurent Fournier

Theoretical Computer Science

Conference paper

Solving range constraints for binary floating-point instructions

Abraham Ziv, Merav Aharoni, et al.

ARITH 2003

Paper

Inclusion relations between power methods and matrix methods of limitation

Abraham Ziv

Trans. Am. Math. Soc.

View all publications