(This work is joined with Jinsan Cheng and Junyi Wen)
In this paper, we develop a new deflation technique for verifying the isolated singular zeros of polynomial systems. Starting from a polynomial system and an approximate zero, we give an algorithm to compute a deflation system, which can be used to verify the isolated singular zero of the original system. In the verification steps, standard verification methods, based on interval arithmetic, are employed. One difference between our method and the other deflation methods is that the size of our deflation system is generally smaller. Moreover, through the experiments, our method is proved to be effective and efficient.