Hermite Reduction for D-finite Functions via Integral Bases

DOI10.1145/3597066.3597092arXiv2302.04652OpenAlexW4383213622MaRDI QIDQ6060362

Shaoshi Chen, Manuel Kauers, Lixin Du

Publication date: 3 November 2023

Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2302.04652

zbMATH Keywords

symbolic integrationadditive decompositioncreative telescoping

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The method of differentiating under the integral sign
• A holonomic systems approach to special functions identities
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Reduction-based creative telescoping for Fuchsian D-finite functions
• Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases
• Constructing reductions for creative telescoping. The general differentially finite case
• A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
• Integral D-Finite Functions
• Complexity of creative telescoping for bivariate rational functions
• Hermite reduction and creative telescoping for hyperexponential functions
• Reduction-Based Creative Telescoping for Algebraic Functions
• Integration of solutions of linear functional equations
• Integration of Algebraic Functions
• Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
• Computing pullback function of second order differential operators by using their semi-invariants

This page was built for publication: Hermite Reduction for D-finite Functions via Integral Bases