2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SC2013★ 2 cited
Deciding Nonnegativity of Polynomials by MAPLE
Lu Yang, Bican Xia
There have been some effective tools for solving (constant/parametric) semi-algebraic systems in Maple's library RegularChains since Maple 13. By using the functions of the library…
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…