Applications of Interval Computations