3 papers
cs.SC2026
Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
Shaoshi Chen, Hao Du, Yiman Gao +3
Transcendental Liouvillian extensions are differential fields, in which one can model poly-logarithmic, hyperexponential, and trigonometric functions, logarithmic integrals, and th…
cs.SC2025
Complete Reduction for Derivatives in a Primitive Tower
Hao Du, Yiman Gao, Wenqiao Li +1
A complete reduction for derivatives in a differential field is a linear operator on the field over its constant subfield. The reduction enables us to decompose an element …
cs.SC2025
A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
Shaoshi Chen, Hao Du, Yiman Gao +2
We adapt the theory of normal and special polynomials from symbolic integration to the summation setting, and then built up a general framework embracing both the usual shift case…