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

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

Inclusion relations between power methods of limitation

Abraham Ziv

Pacific Journal of Mathematics

Paper

Fast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last Bit

Abraham Ziv

ACM Transactions on Mathematical Software (TOMS)

View all publications