A lower bound for range enclosure in interval arithmetic
scientific article; zbMATH DE number 1768055