activity
20232026
most citedA Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping

1 citations · 1 across the 6 of their papers we have counts for

collaborators

6 papers

cs.SC2026

Complete Reductions and Idempotent Representations for -towers

Yiman Gao, Jakob Obrovsky, Carsten Schneider

-extensions form a rich class of difference rings that provide a unified algebraic framework for modeling indefinite nested sums, transcendental products, and nested product…

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

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★ 1 cited

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…

cs.SC2023

Reducing Hyperexponential Functions over Monomial Extensions

Shaoshi Chen, Hao Du, Yiman Gao +1

We extend the shell and kernel reductions for hyperexponential functions over the field of rational functions to a monomial extension. Both of the reductions are incorporated into…