1: \begin{abstract}

2:   %

3:   We develop a new symbolic-numeric algorithm for the certification of

4:   singular isolated points, using their associated local ring

5:   structure and certified numerical computations. An improvement of an

6:   existing method to compute inverse systems is presented, which

7:   avoids redundant computation and reduces the size of the

8:   intermediate linear systems to solve. We derive a one-step

9:   deflation technique, from the des\-crip\-tion of the multiplicity

10:   structure in terms of dif\-fe\-ren\-tials. The deflated system can

11:   be used in Newton-based iterative schemes with quadratic

12:   convergence.  Starting from a polynomial system and a small-enough

13:   neighborhood, we obtain a criterion for the existence and uniqueness

14:   of a singular root of a given multiplicity structure, applying a

15:   well-chosen symbolic perturbation.  Standard verification methods,

16:   based eg. on interval arithmetic and a fixed point theorem, are

17:   employed to certify that there exists a unique perturbed system with

18:   a singular root in the domain.   Ap\-pli\-ca\-tions to topological

19:   degree computation and to the analysis of real branches of an

20:   implicit curve illustrate the method.

21:   %

22: \end{abstract}

23: