Comprehensive Triangular Decomposition. - Changbo Chen; Oleg Golubitsky; François Lemaire; Marc Moreno Maza; Wei Pan 001 (CASC, 2007)

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. - Changbo Chen; François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (International Conference on Computational Science (2), 2007)

When does (T) equal sat(T)? - François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (ISSAC, 2008)

On the representation of constructible sets. - Changbo Chen; Liyun Li; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (ACM Commun. Comput. Algebra, 2008)

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. - Changbo Chen; Marc Moreno Maza; François Lemaire; Wei Pan 001; Liyun Li; Yuzhen Xie (ACM Commun. Comput. Algebra, 2008)

On the verification of polynomial system solvers. - Changbo Chen; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (Frontiers Comput. Sci. China, 2008)

Computations modulo regular chains. - Xin Li 009; Marc Moreno Maza; Wei Pan 001 (ISSAC, 2009)

Complexity and performance results for non FFT-based univariate polynomial multiplication. - Muhammad F. I. Chowdhury; Marc Moreno Maza; Wei Pan 001; Éric Schost (ACM Commun. Comput. Algebra, 2010)

Solving bivariate polynomial systems on a GPU. - Marc Moreno Maza; Wei Pan 001 (ACM Commun. Comput. Algebra, 2011)

When does <T> equal sat(T)? - François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (J. Symb. Comput., 2011)

Dense Arithmetic over Finite Fields with the CUMODP Library. - Sardar Anisul Haque; Xin Li 009; Farnam Mansouri; Marc Moreno Maza; Wei Pan 001; Ning Xie 001 (ICMS, 2014)

CUMODP: a CUDA library for modular polynomial computation. - Sardar Anisul Haque; X. Li; Farnam Mansouri; Marc Moreno Maza; Davood Mohajerani; Wei Pan 001 (ACM Commun. Comput. Algebra, 2017)