6 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.SC2010★ 6 cited
Zero Decomposition with Multiplicity of Zero-Dimensional Polynomial Systems
Yinglin Li, Bican Xia, Zhihai Zhang
We present a zero decomposition theorem and an algorithm based on Wu's method, which computes a zero decomposition with multiplicity for a given zero-dimensional polynomial system.…
cs.SC2009
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…
cs.LO2009★ 1 cited
Termination of Linear Programs with Nonlinear Constraints
Bican Xia, Zhihai Zhang
Tiwari proved that termination of linear programs (loops with linear loop conditions and updates) over the reals is decidable through Jordan forms and eigenvectors computation. Bra…