
Enclosing all zeros of an analytic function — A rigorous approach
Keywords: تجزیه و تحلیل فاصله; primary, 65G20, 65E05; secondary, 65H05Rigorous numerics; Argument principle; Root finding; Interval analysis