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