9 citations · 15 across the 8 of their papers we have counts for
8 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…
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…
Maximal skew sets of lines on a Hermitian surface and a modified Bron-Kerbosch algorithm
Anna Brosowsky, Haoyu Du, Madhav Krishna +3
In this paper, we study maximal sets of skew lines on Hermitian surfaces. We give a new algorithm to compute these sets and give some computational results for Hermitian surfaces o…
Binomial Determinants for Tiling Problems Yield to the Holonomic Ansatz
Hao Du, Christoph Koutschan, Thotsaporn Thanatipanonda +1
We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the correspondi…
An Additive Decomposition in S-Primitive Towers
Hao Du, Jing Guo, Ziming Li +1
We consider the additive decomposition problem in primitive towers and present an algorithm to decompose a function in an S-primitive tower as a sum of a derivative in the tower an…
Additive Decompositions in Primitive Extensions
Shaoshi Chen, Hao Du, Ziming Li
This paper extends the classical Ostrogradsky-Hermite reduction for rational functions to more general functions in primitive extensions of certain types. For an element in suc…