Hermite reduction and creative telescoping for hyperexponential functions
From MaRDI portal
Abstract: We present a reduction algorithm that simultaneously extends Hermite's reduction for rational functions and the Hermite-like reduction for hyperexponential functions. It yields a unique additive decomposition and allows to decide hyperexponential integrability. Based on this reduction algorithm, we design a new method to compute minimal telescopers for bivariate hyperexponential functions. One of its main features is that it can avoid the costly computation of certificates. Its implementation outperforms Maple's function DEtools[Zeilberger]. Moreover, we derive an order bound on minimal telescopers, which is more general and tighter than the known one.
Recommendations
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- Hermite and special Hermite expansions revisited
- Reduction-based creative telescoping for Fuchsian D-finite functions
- scientific article; zbMATH DE number 732131
- Conjugate expansions for Hermite functions
- scientific article; zbMATH DE number 2174283
- On g-functions for Hermite function expansions
- HERMITE-PADÉ APPROXIMANTS OF GENERALIZED HYPERGEOMETRIC FUNCTIONS
- Reduction-based creative telescoping for algebraic functions
- Hermite Reduction for D-finite Functions via Integral Bases
Cited in
(27)- Constructing minimal telescopers for rational functions in three discrete variables
- Linear differential equations as a data structure
- Some open problems related to creative telescoping
- Reduction-based creative telescoping for Fuchsian D-finite functions
- On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
- Constructing reductions for creative telescoping. The general differentially finite case
- Additive normal forms and integration of differential fractions
- A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
- Iterated binomial sums and their associated iterated integrals
- Efficient algorithms for mixed creative telscoping
- Reduction-based creative telescoping for algebraic functions
- New Bounds for Hypergeometric Creative Telescoping
- Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation
- Differential rational normal forms and a reduction algorithm for hyperexponential func
- On the existence of telescopers for mixed hypergeometric terms
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- Additive decompositions in primitive extensions
- Creative telescoping for holonomic functions
- Beating binary powering for polynomial matrices
- Hermite Reduction for D-finite Functions via Integral Bases
- Telescopers for differential forms with one parameter
- Reduction-based creative telescoping for definite summation of D-finite functions
- Lazy Hermite reduction and creative telescoping for algebraic functions
- A unified reduction for hypergeometric and q-hypergeometric creative telescoping
- Reducing hyperexponential functions over monomial extensions
- Faster multivariate integration in D-modules
- Efficient rational creative telescoping
This page was built for publication: Hermite reduction and creative telescoping for hyperexponential functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963219)
