Verification of Comparison of Two Computed Results

Abstract

Abstract. For two values a and b and their approximation and , if the approximations and are inaccurate, then the sign of - can be different from that of a−b. We propose a floating-point filter for this problem. This gives a sufficient condition for the correctness of the sign using only numerical computations.