An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane.