Reduction-based creative telescoping for Fuchsian D-finite functions
From MaRDI portal
Publication:2409011
DOI10.1016/j.jsc.2017.07.005zbMath1379.68363arXiv1611.07421OpenAlexW2555727860MaRDI QIDQ2409011
Shaoshi Chen, Mark van Hoeij, Christoph Koutschan, Manuel Kauers
Publication date: 10 October 2017
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1611.07421
Symbolic computation and algebraic computation (68W30) Abstract differential equations (12H20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items (10)
Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ Comments on Integration of Algebraic Functions ⋮ Constructing minimal telescopers for rational functions in three discrete variables ⋮ Constructing reductions for creative telescoping. The general differentially finite case ⋮ Hermite Reduction for D-finite Functions via Integral Bases ⋮ Transcendence Certificates for D-finite Functions ⋮ Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences ⋮ Telescopers for differential forms with one parameter ⋮ Linear differential equations as a data structure ⋮ Nested Integrals and Rationalizing Transformations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Multiple binomial sums
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Rational normal forms and minimal decompositions of hypergeometric terms
- A fast algorithm for proving terminating hypergeometric identities
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Non-commutative elimination in Ore algebras proves multivariate identities
- On the structure of multivariate hypergeometric terms.
- Symbolic integration I: Transcendental functions
- An algorithm for computing an integral basis in an algebraic function field
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases
- Computing periods of rational integrals
- 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
- Creative telescoping for rational functions using the griffiths
- Reduction-Based Creative Telescoping for Algebraic Functions
- New Bounds for Hypergeometric Creative Telescoping
- A generalized Apagodu-Zeilberger algorithm
- Advanced applications of the holonomic systems approach
- The Problem of Integration in Finite Terms
- The solution of the problem of integration in finite terms
This page was built for publication: Reduction-based creative telescoping for Fuchsian D-finite functions