A Mathematica Program for the Degrees of Certain Schubert Varieties. - Xuan Zhao 003; Haibao Duan (J. Symb. Comput., 2002)

The Cartan matrix and enumerative calculus. - Haibao Duan; Xuan Zhao 003; Xuezhi Zhao (J. Symb. Comput., 2004)

Homotopy classification of maps between simply connected four manifolds. - Xuan Zhao 003; Hongzhu Gao; Xiaole Su (J. Symb. Comput., 2005)

Irreducible Decompositions of Degeneracy Loci of Matrices. - Xuan Zhao 003; Hongzhu Gao (Int. J. Algebra Comput., 2008)