Intersection Theory for Generic Differential Polynomials and Differential Chow Form - Xiao-Shan Gao; Wei Li 056; Chun-Ming Yuan (CoRR, 2010)

Sparse differential resultant. - Wei Li 056; Xiao-Shan Gao; Chun-Ming Yuan (ISSAC, 2011)

Differential Chow Form for Projective Differential Variety - Wei Li 056; Xiao-Shan Gao (CoRR, 2011)

Simple Differential Field Extensions and Effective Bounds. - James Freitag; Wei Li 056 (MACIS, 2015)

Computation of Differential Chow Forms for Prime Differential Ideals. - Wei Li 056; Yinghong Li 001 (CoRR, 2015)

Sparse Differential Resultant for Laurent Differential Polynomials. - Wei Li 056; Chun-Ming Yuan; Xiao-Shan Gao (Found. Comput. Math., 2015)

Sparse difference resultant. - Wei Li 056; Chun-Ming Yuan; Xiao-Shan Gao (J. Symb. Comput., 2015)

Computation of differential Chow forms for ordinary prime differential ideals. - Wei Li 056; Ying-Hong Li 001 (Adv. Appl. Math., 2016)

Differential Chow varieties exist. - James Freitag; Wei Li 056; Thomas Scanlon; William Johnson (J. Lond. Math. Soc., 2017)

Elimination Theory in Differential and Difference Algebra. - Wei Li 056; Chun-Ming Yuan (J. Syst. Sci. Complex., 2019)

Algorithms yield upper bounds in differential algebra. - Wei Li 056; Alexey Ovchinnikov; Gleb Pogudin; Thomas Scanlon (CoRR, 2020)

Unirational differential curves and differential rational parametrizations. - Lei Fu; Wei Li 056 (J. Symb. Comput., 2021)