1 citations · 1 across the 3 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
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.SC2009
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
Changbo Chen, Marc Moreno Maza, Bican Xia +1
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches…