Constructing reductions for creative telescoping. The general differentially finite case
Reduction-based algorithms for creative telescoping have been studied intensively in the past few years, and more and more general classes of functions have been investigated (rational, hyperexponential, algebraic, etc.) in the differential setting, and similarly in the shift case. The case of general holonomic functions in the differential case was missing, until in 2017/2018 two solutions to this problem were found independently: one is (a predecessor of) the present paper, the other one is by [\textit{A. Bostan} et al., in: Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018. New York, NY: Association for Computing Machinery (ACM). 95--102 (2018; Zbl 1467.34011)]. To construct a reduction procedure for general holonomic functions, they are viewed as solutions of first-order differential systems (rather than higher-order scalar equations, however, it is well-known that both are equivalent). Then two types of reductions are defined: head reduction and tail reduction. The goal of the head reduction is to reduce the valuation of the given \(f\) at the point at infinity. For this purpose, special matrices, called ``head choppers, are introduced. The tail reduction is supposed to reduce the valuation at a finite place \(\alpha\). It works analogous to the head reduction, by a change of variables. The combination of these two reductions gives the final algorithm. Some practical improvements (avoid expensive polynomial factoring by dynamic evaluation, and avoid computing explicitly with algebraic numbers) are discussed in the last section.
- A reduction approach to creative telescoping
- Reduction-based creative telescoping for algebraic functions
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Hermite reduction and creative telescoping for hyperexponential functions
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
- Complexity of creative telescoping for bivariate rational functions
- Creative telescoping for rational functions using the Griffiths-Dwork method
- Differential rational normal forms and a reduction algorithm for hyperexponential func
- Efficient algorithms for mixed creative telscoping
- EG-eliminations
- Finiteness of De Rham Cohomology
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- Hermite reduction and creative telescoping for hyperexponential functions
- New Bounds for Hypergeometric Creative Telescoping
- Reduction-based creative telescoping for algebraic functions
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Some open problems related to creative telescoping
- The method of creative telescoping
- Constructing minimal telescopers for rational functions in three discrete variables
- Linear differential equations as a data structure
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Reduction-based creative telescoping for algebraic functions
- Nested Integrals and Rationalizing Transformations
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- Additive decompositions in primitive extensions
- A reduction approach to creative telescoping
- Creative telescoping for holonomic functions
- Beating binary powering for polynomial matrices
- Hermite Reduction for D-finite Functions via Integral Bases
- Polynomial reduction for holonomic sequences and applications in -series and congruences
- Reduction-based creative telescoping for definite summation of D-finite functions
- A unified reduction for hypergeometric and q-hypergeometric creative telescoping
- On the existence of telescopers for P-recursive sequences
- Faster multivariate integration in D-modules
- Complete reduction for derivatives in a primitive tower
This page was built for publication: Constructing reductions for creative telescoping. The general differentially finite case
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2666962)
