Hao Du

15 papers B 4Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Complete Reduction for Derivatives in a Transcendental Liouvillian Extension.
CoRR
Shaoshi Chen, Hao Du, Yiman Gao, Hui Huang, Wenqiao Li, Ziming Li
2025 J jnl
A Unification of Zeilberger's Algorithm and Its q-Analogue.
CoRR
Shaoshi Chen, Hao Du, Yiman Gao, Hui Huang, Ziming Li
2025 B conf
Complete Reduction for Derivatives in a Primitive Tower.
ISSAC
Hao Du, Yiman Gao, Wenqiao Li, Ziming Li
2025 J jnl
Complete Reduction for Derivatives in a Primitive Tower.
CoRR
Hao Du, Yiman Gao, Wenqiao Li, Ziming Li
2025 J jnl
Reducing Hyperexponential Functions over Monomial Extensions.
J. Syst. Sci. Complex.
Shaoshi Chen, Hao Du, Yiman Gao, Ziming Li
2023 B conf
Computing Logarithmic Parts by Evaluation Homomorphisms✱.
ISSAC
Hao Du, Yiman Gao, Jing Guo, Ziming Li
2023 J jnl
Reducing Hyperexponential Functions over Monomial Extensions.
CoRR
Shaoshi Chen, Hao Du, Yiman Gao, Ziming Li
2022 J jnl
Binomial determinants for tiling problems yield to the holonomic ansatz.
Eur. J. Comb.
Hao Du, Christoph Koutschan, Thotsaporn Thanatipanonda, Elaine Wong
2021 J jnl
Binomial Determinants for Tiling Problems Yield to the Holonomic Ansatz.
CoRR
Hao Du, Christoph Koutschan, Thotsaporn Thanatipanonda, Elaine Wong
2020 J jnl
An Additive Decomposition in S-Primitive Towers.
CoRR
Hao Du, Jing Guo, Ziming Li, Elaine Wong
2020 B conf
An additive decomposition in logarithmic towers and beyond.
ISSAC
Hao Du, Jing Guo, Ziming Li, Elaine Wong
2019 J jnl
An additive decomposition in multiple logarithmic extensions.
ACM Commun. Comput. Algebra
Hao Du, Jing Guo, Ziming Li
2019 J jnl
The Ore-Sato Theorem and Shift Exponents in the
J. Syst. Sci. Complex.
Hao Du, Ziming Li
2018 B conf
Additive Decompositions in Primitive Extensions.
ISSAC
Shaoshi Chen, Hao Du, Ziming Li
2018 J jnl
Additive Decompositions in Primitive Extensions.
CoRR
Shaoshi Chen, Hao Du, Ziming Li