 | 2012 |
| 12 |  | Changbo Chen,
Marc Moreno Maza:
Algorithms for computing triangular decomposition of polynomial systems.
J. Symb. Comput. 47(6): 610-642 (2012) |
| 2011 |
| 11 |  | Changbo Chen,
Marc Moreno Maza:
Semi-algebraic Description of the Equilibria of Dynamical Systems.
CASC 2011: 101-125 |
| 10 |  | Changbo Chen,
James H. Davenport,
Marc Moreno Maza,
Bican Xia,
Rong Xiao:
Computing with semi-algebraic sets represented by triangular decomposition.
ISSAC 2011: 75-82 |
| 9 |  | Changbo Chen,
Marc Moreno Maza:
Algorithms for computing triangular decompositions of polynomial systems.
ISSAC 2011: 83-90 |
| 8 |  | Changbo Chen,
Marc Moreno Maza:
Algorithms for Computing Triangular Decompositions of Polynomial Systems
CoRR abs/1104.0689: (2011) |
| 2010 |
| 7 |  | Changbo Chen,
James H. Davenport,
John P. May,
Marc Moreno Maza,
Bican Xia,
Rong Xiao:
Triangular decomposition of semi-algebraic systems.
ISSAC 2010: 187-194 |
| 6 |  | Changbo Chen,
James H. Davenport,
John P. May,
Marc Moreno Maza,
Bican Xia,
Rong Xiao:
Triangular Decomposition of Semi-algebraic Systems
CoRR abs/1002.4784: (2010) |
| 2009 |
| 5 |  | Changbo Chen,
Marc Moreno Maza,
Bican Xia,
Lu Yang:
Computing cylindrical algebraic decomposition via triangular decomposition.
ISSAC 2009: 95-102 |
| 4 |  | Changbo Chen,
Marc Moreno Maza,
Bican Xia,
Lu Yang:
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
CoRR abs/0903.5221: (2009) |
| 2008 |
| 3 |  | Changbo Chen,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
On the verification of polynomial system solvers.
Frontiers of Computer Science in China 2(1): 55-66 (2008) |
| 2007 |
| 2 |  | Changbo Chen,
Oleg Golubitsky,
François Lemaire,
Marc Moreno Maza,
Wei Pan:
Comprehensive Triangular Decomposition.
CASC 2007: 73-101 |
| 1 |  | Changbo Chen,
François Lemaire,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.
International Conference on Computational Science (2) 2007: 268-271 |