Hermite Reduction for D-finite Functions via Integral Bases

2023/02/09 by Chen, Shaoshi, Du, Lixin, Kauers, Manuel · 2 citations
#FOS: Computer and information sciences #Symbolic Computation (cs.SC)

paper · doi:10.48550/arxiv.2302.04652

Abstract

Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limited to the Fuchsian case. In the present paper, we remove this restriction and propose a reduction algorithm based on integral bases that is applicable to arbitrary D-finite functions.

Cited by

• Complete Reduction for Derivatives in a Primitive Tower
• The integro-differential closure of a commutative differential ring

Related

• Reduction-Based Creative Telescoping for Fuchsian D-finite Functions
• Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions
• Hermite Reduction and Creative Telescoping for Hyperexponential Functions
• Reduced normal form of local integral bases
• Bounds for Substituting Algebraic Functions into D-finite Functions