3 papers
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
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…
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…