Reduction-based creative telescoping for definite summation of D-finite functions

Symbolic computation and algebraic computation (68W30) Convergence and divergence of series and sequences (40A05) Convergence and divergence of series and sequences of functions (40A30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Function-theoretic methods (including power series methods and semicontinuous methods) for summability (40C15) Software, source code, etc. for problems pertaining to sequences, series, summability (40-04)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
A fast approach to creative telescoping
The method of differentiating under the integral sign
An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
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
Solving difference equations in finite terms
An introduction to pseudo-linear algebra
An extension of Zeilberger's fast algorithm to general holonomic functions
Constructing minimal telescopers for rational functions in three discrete variables
Reduction-based creative telescoping for Fuchsian D-finite functions
Pseudo-linear transformations.
Constructing reductions for creative telescoping. The general differentially finite case
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
Modern Computer Algebra
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
Complexity of creative telescoping for bivariate rational functions
Hermite reduction and creative telescoping for hyperexponential functions
Creative telescoping for rational functions using the griffiths
Efficient Algorithms for Mixed Creative Telscoping
Reduction-Based Creative Telescoping for Algebraic Functions
On Elementary Methods in Positivity Theory
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
Advanced applications of the holonomic systems approach

This page was built for publication: Reduction-based creative telescoping for definite summation of D-finite functions