On isolation of singular zeros of multivariate analytic systems

Abstract We give a separation bound for an isolated multiple root x of a square multivariate analytic system f satisfying that the deflation process applied on f and x terminates after only one iteration. When x is only given approximately, we give a numerical criterion for isolating a cluster of zeros of f near x. We also propose a lower bound of the number of roots in the cluster.