A verified method for bounding clusters of zeros of analytic functions
scientific article; zbMATH DE number 5121419