15 citations · 52 across the 35 of their papers we have counts for
Showing 2009 · cs.SCShow all
2 papers · 2 filters
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…