13 citations · 17 across the 3 of their papers we have counts for
3 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…
math.AC2007★ 13 cited
Bounds for algorithms in differential algebra
Oleg Golubitsky, Marina Kondratieva, Marc Moreno Maza +1
We consider the Rosenfeld-Groebner algorithm for computing a regular decomposition of a radical differential ideal generated by a set of ordinary differential polynomials in n inde…