4 papers
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…
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 …
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…
Telescoping Algorithms for -Extensions via Complete Reductions
Shaoshi Chen, Yiman Gao, Hui Huang +1
A complete reduction on a difference field is a linear operator that enables one to decompose an element of the field as the sum of a summable part and a remainder such that the gi…