An implementation of Karr's summation algorithm in Mathematica

MaRDI QIDQ1972215zbMATH OpenFDO

Authors Carsten Schneider

Publication date 17 April 2000

Published in Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/120438, http://www.emis.de/journals/SLC/wpapers/s43schneider.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Karr algorithm

Mathematics Subject Classification ID

Difference algebra (12H10) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Additive difference equations (39A10) Symbolic computation and algebraic computation (68W30)

Review text

Implementations of the celebrated Gosper algorithm for indefinite summation are available on almost any computer algebra platform. We report here about an implementation of an algorithm by Karr, the most general indefinite summation algorithm known. Karr's algorithm is, in a sense, the summation counterpart of Risch's algorithm for indefinite integration. This is the first implementation of this algorithm in a major computer algebra system. Our version contains new extensions to handle also definite summation problems. In addition, we provide a feature to find automatically appropriate difference field extensions in which a closed form for the summation problem exists. These new aspects are illustrated by a variety of examples.

Recommendations

• scientific article; zbMATH DE number 3860391
• A generalized Kahan-Babuška-summation-algorithm
• Implementation of a package of tools for manipulation of sums
• A Class of Fast and Accurate Summation Algorithms
• Algorithms for m-fold hypergeometric summation
• NUMERICAL IMPLEMENTATION OF A K.A.M. ALGORITHM
• An algorithm for the summation of series
• Toward Accurate and Fast Summation
• Summation algorithms for Stirling number identities

Cited in

(11)

• Differentiation and integration of indefinite summations with respect to indexed variables - some rules and applications
• Computer proofs of a new family of harmonic number identities.
• Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
• A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function.
• Another proof of a supercongruence conjecture of Z.-W. Sun
• Accelerating indefinite summation: simple classes of summands
• A new Sigma approach to multi-summation
• A difference ring theory for symbolic summation
• Term algebras, canonical representations and difference ring theory for symbolic summation
• Symbolic summation with radical expressions
• On Mathematica program for ``Poor Man's Integrator implementing Risch-Norman algorithm

Describes a project that uses

Uses Software

• qZeil
• Mathematica

This page was built for publication: An implementation of Karr's summation algorithm in Mathematica

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