hide
Free keywords:
-
Abstract:
We consider arithmetic expressions over operators + , - , * , / , and
$\sqrt[k]$ , with integer operands. For an expression E having value $\xi$ , a
separation bound sep (E) is a positive real number with the property that
$\xi\neq$ 0 implies $|\xi | \geq$ sep (E) . We propose a new separation bound
that is easy to compute and stronger than previous bounds.