Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems

Zhihai Zhang, Tian Fang, Bican Xia

Existing algorithms for isolating real solutions of zero-dimensional polynomial systems do not compute the multiplicities of the solutions. In this paper, we define in a natural wa…