| 2009 |
|---|
| 4 | EE | Changbo Chen,
Marc Moreno Maza,
Bican Xia,
Lu Yang:
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
CoRR abs/0903.5221: (2009) |
| 2008 |
|---|
| 3 | EE | 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 | EE | Changbo Chen,
Oleg Golubitsky,
François Lemaire,
Marc Moreno Maza,
Wei Pan:
Comprehensive Triangular Decomposition.
CASC 2007: 73-101 |
| 1 | EE | 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 |
