Trading order for degree in creative telescoping
From MaRDI portal
Abstract: We analyze the differential equations produced by the method of creative telescoping applied to a hyperexponential term in two variables. We show that equations of low order have high degree, and that higher order equations have lower degree. More precisely, we derive degree bounding formulas which allow to estimate the degree of the output equations from creative telescoping as a function of the order. As an application, we show how the knowledge of these formulas can be used to improve, at least in principle, the performance of creative telescoping implementations, and we deduce bounds on the asymptotic complexity of creative telescoping for hyperexponential terms.
Recommendations
- Order-degree curves for hypergeometric creative telescoping
- On the order of the recurrence produced by the method of creative telescoping
- Creative telescoping for rational functions using the Griffiths-Dwork method
- Efficient algorithms for mixed creative telscoping
- On the length of integers in telescopers for proper hypergeometric terms
Cites work
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 729555 (Why is no real title available?)
- scientific article; zbMATH DE number 1131976 (Why is no real title available?)
- scientific article; zbMATH DE number 2159646 (Why is no real title available?)
- scientific article; zbMATH DE number 1380009 (Why is no real title available?)
- A Uniform Approach for the Fast Computation of Matrix-Type Padé Approximants
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- A fast algorithm for proving terminating hypergeometric identities
- A fast approach to creative telescoping
- A non-holonomic systems approach to special function identities
- Advanced applications of the holonomic systems approach. (Abstract of thesis)
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Complexity of creative telescoping for bivariate rational functions
- Computing the rank and a small nullspace basis of a polynomial matrix
- Cylindrical algebraic decomposition using validated numerics
- Decision procedure for indefinite hypergeometric summation
- Differential equations for algebraic functions
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- Picard--Vessiot extensions for linear functional systems
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Solving systems of strict polynomial inequalities
- Telescoping in the context of symbolic summation in Maple
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- The method of creative telescoping
- The method of differentiating under the integral sign
Cited in
(12)- Creative telescoping for holonomic functions
- No-neighbours recurrence schemes for space-time Green's functions on a 3D simple cubic lattice
- On the length of integers in telescopers for proper hypergeometric terms
- Extensions of the AZ-Algorithm and the Package MultiIntegrate
- Desingularization of Ore operators
- Minimization of differential equations and algebraic values of 𝐸-functions
- Linear differential equations as a data structure
- Creative telescoping for rational functions using the Griffiths-Dwork method
- Complexity of creative telescoping for bivariate rational functions
- Order-degree curves for hypergeometric creative telescoping
- Some open problems related to creative telescoping
- On the order of the recurrence produced by the method of creative telescoping
Describes a project that uses
Uses Software
This page was built for publication: Trading order for degree in creative telescoping
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q414630)
