 | 2008 |
|---|
| 7 |       | François Lemaire,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
When does (T) equal sat(T)?
ISSAC 2008: 207-214 |
| 6 | | 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 |
|---|
| 5 | | 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 |
| 4 | | Marc Moreno Maza,
Ben Stephenson,
Stephen M. Watt,
Yuzhen Xie:
Multiprocessed parallelism support in ALDOR on SMPs and multicores.
PASCO 2007: 60-68 |
| 3 | | Marc Moreno Maza,
Yuzhen Xie:
Component-level parallelization of triangular decompositions.
PASCO 2007: 69-77 |
| 2006 |
|---|
| 2 | | Marc Moreno Maza,
Yuzhen Xie:
An implementation report for parallel triangular decompositions.
SPAA 2006: 235 |
| 2005 |
|---|
| 1 | | Xavier Dahan,
Marc Moreno Maza,
Éric Schost,
Wenyuan Wu,
Yuzhen Xie:
Lifting techniques for triangular decompositions.
ISSAC 2005: 108-115 |
