4 citations · 4 across the 2 of their papers we have counts for
2 papers
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…
cs.SC2009★ 4 cited
Computations modulo regular chains
Xin Li, Marc Moreno Maza, Wei Pan
The computation of triangular decompositions are based on two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose…