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 invisible bits of the intermediate result for floating-point verification

Merav Aharoni, Sigal Asaf, et al.

ARITH 2005

Paper

Relative distance-an error measure in round-off error analysis

Abraham Ziv

Mathematics of Computation

Paper

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

Abraham Ziv, Laurent Fournier

Theoretical Computer Science

Paper

A stable method for the evaluation of a polynomial and of a rational function of one variable

Abraham Ziv

Numerische Mathematik

View all publications