Reduction-based creative telescoping for algebraic functions

DOI10.1145/2930889.2930901MaRDI QIDQ2985825zbMATH OpenOpenAlexFDO

Authors Shaoshi Chen, M. Kauers, Christoph Koutschan

Publication date 10 May 2017

Published in Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.00424

zbMATH Keywords

algebraic functionintegral basistelescoperTrager's reduction

Mathematics Subject Classification ID

Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Symbolic computation and algebraic computation (68W30)

Abstract: Continuing a series of articles in the past few years on creative telescoping using reductions, we develop a new algorithm to construct minimal telescopers for algebraic functions. This algorithm is based on Trager's Hermite reduction and on polynomial reduction, which was originally designed for hyperexponential functions and extended to the algebraic case in this paper.

Recommendations

• Reduction-based creative telescoping for Fuchsian D-finite functions
• A reduction approach to creative telescoping
• Constructing reductions for creative telescoping. The general differentially finite case
• Hermite reduction and creative telescoping for hyperexponential functions
• Efficient rational creative telescoping

Cited in

(20)

• Constructing minimal telescopers for rational functions in three discrete variables
• On the existence of telescopers for rational functions in three variables
• Linear differential equations as a data structure
• Some open problems related to creative telescoping
• Reduction-based creative telescoping for Fuchsian D-finite functions
• Constructing reductions for creative telescoping. The general differentially finite case
• Hermite reduction and creative telescoping for hyperexponential functions
• Efficient algorithms for mixed creative telscoping
• scientific article; zbMATH DE number 1860734 (Why is no real title available?)
• Comments on \textit{Integration of algebraic functions}
• A reduction approach to creative telescoping
• Hermite Reduction for D-finite Functions via Integral Bases
• Polynomial reduction for holonomic sequences and applications in -series and congruences
• 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: Reduction-based creative telescoping for algebraic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985825)