Reduction-based creative telescoping for Fuchsian D-finite functions
From MaRDI portal
Publication:2409011
DOI10.1016/J.JSC.2017.07.005zbMATH Open1379.68363arXiv1611.07421OpenAlexW2555727860MaRDI QIDQ2409011FDOQ2409011
Shaoshi Chen, Mark van Hoeij, Christoph Koutschan, M. Kauers
Publication date: 10 October 2017
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Abstract: Continuing a series of articles in the past few years on creative telescoping using reductions, we adapt Trager's Hermite reduction for algebraic functions to fuchsian D-finite functions and develop a reduction-based creative telescoping algorithm for this class of functions, thereby generalizing our recent reduction-based algorithm for algebraic functions, presented at ISSAC 2016.
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A holonomic systems approach to special functions identities
- Hermite reduction and creative telescoping for hyperexponential functions
- Creative telescoping for rational functions using the griffiths
- Advanced applications of the holonomic systems approach
- Non-commutative elimination in Ore algebras proves multivariate identities
- Symbolic integration I: Transcendental functions
- An extension of Zeilberger's fast algorithm to general holonomic functions
- The Problem of Integration in Finite Terms
- Rational normal forms and minimal decompositions of hypergeometric terms
- The method of creative telescoping
- A fast algorithm for proving terminating hypergeometric identities
- On the structure of multivariate hypergeometric terms.
- Computing periods of rational integrals
- Multiple binomial sums
- An algorithm for computing an integral basis in an algebraic function field
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Complexity of creative telescoping for bivariate rational functions
- The solution of the problem of integration in finite terms
- A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms
- New Bounds for Hypergeometric Creative Telescoping
- A generalized Apagodu-Zeilberger algorithm
- Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases
- Integral D-finite functions
- Reduction-Based Creative Telescoping for Algebraic Functions
Cited In (14)
- Hermite Reduction for D-finite Functions via Integral Bases
- Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences
- Nested Integrals and Rationalizing Transformations
- Transcendence Certificates for D-finite Functions
- Constructing minimal telescopers for rational functions in three discrete variables
- Telescopers for differential forms with one parameter
- Linear differential equations as a data structure
- Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations
- Comments on Integration of Algebraic Functions
- Constructing reductions for creative telescoping. The general differentially finite case
- Hermite reduction and creative telescoping for hyperexponential functions
- Lazy Hermite reduction and creative telescoping for algebraic functions
- Hypergeometric-type sequences
- Reduction-based creative telescoping for definite summation of D-finite functions
Uses Software
This page was built for publication: Reduction-based creative telescoping for Fuchsian D-finite functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409011)
