A second-order pruning step for verified global optimization
scientific article; zbMATH DE number 5601343
scientific article