Sharpness in Interval Computations

摘要: Let f(x) be a rational function and let F(X) an interval extension of f(x). When we evaluate using arithmetic, obtain which bounds the range for all x in X. In some cases, lower or upper bound (or both) may sharp. We show that can determine whether endpoint is sharp not merely by keeping track endpoints X are used each step evaluation F(X). certain this procedure prove monotonic