Additive Decompositions in Primitive Extensions. - Shaoshi Chen; Hao Du 001; Ziming Li 002 (ISSAC, 2018)

An additive decomposition in multiple logarithmic extensions. - Hao Du 001; Jing Guo; Ziming Li 002 (ACM Commun. Comput. Algebra, 2019)

The Ore-Sato Theorem and Shift Exponents in the q-Difference Case. - Hao Du 001; Ziming Li 002 (J. Syst. Sci. Complex., 2019)

An additive decomposition in logarithmic towers and beyond. - Hao Du 001; Jing Guo; Ziming Li 002; Elaine Wong (ISSAC, 2020)

An Additive Decomposition in S-Primitive Towers. - Hao Du 001; Jing Guo; Ziming Li 002; Elaine Wong (CoRR, 2020)

Binomial determinants for tiling problems yield to the holonomic ansatz. - Hao Du 001; Christoph Koutschan; Thotsaporn Thanatipanonda; Elaine Wong (Eur. J. Comb., 2022)

Computing Logarithmic Parts by Evaluation Homomorphisms✱. - Hao Du 001; Yiman Gao; Jing Guo; Ziming Li 002 (ISSAC, 2023)

A Unification of Zeilberger's Algorithm and Its q-Analogue. - Shaoshi Chen; Hao Du 001; Yiman Gao; Hui Huang; Ziming Li 002 (CoRR, 2025)

Reducing Hyperexponential Functions over Monomial Extensions. - Shaoshi Chen; Hao Du 001; Yiman Gao; Ziming Li 002 (J. Syst. Sci. Complex., 2025)