Are There Easy-To-Check Necessary and Sufficient Conditions for Straightforward Interval Computations to Be Exact?

Authors

Vladik Kreinovich, The University of Texas at El PasoFollow
Luc Longpre, The University of Texas at El PasoFollow
James J. Buckley

Publication Date

1-2003

Comments

UTEP-CS-02-11c.

Short version published in the Extended Abstracts of 2002 SIAM Workshop on Validated Computing, Toronto, Canada, May 23-25, 2002, pp. 94-96; full paper published in Reliable Computing, 2003, Vol. 9, No. 5, pp. 349-358.

Abstract

We prove that no "efficient" (easy-to-check) necessary and sufficient conditions are possible for checking whether straightforward interval computations lead to the exact result.