A new Sigma approach to multi-summation
type: Item
instance of: scholarly article
title: A new Sigma approach to multi-summation
zbMATH Open document ID: 1078.33021
author: Carsten Schneider
published in: Advances in Applied Mathematics
publication date: 2005-08-01T00:00:00Z
review text: The author presents a general algorithmic framework that allows not only to deal with summation problems over summands being rational expressions in indefinite nested sums and products but also over \(\partial\)-finite and holonomic summand expressions that are given by a linear recurrence. For this approach a new Package Sigma for the computer algebra system Mathematica is presented.
Mathematics Subject Classification ID: 33F05
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 05E35
Mathematics Subject Classification ID: 13P10
zbMATH DE Number: 2190414
reviewed by: Hans Benker
describes a project that uses: Mathematica
describes a project that uses: OreSys
describes a project that uses: qZeil
describes a project that uses: MultiSum
MaRDI profile type: Publication
full work available at URL: j.aam.2004.07.009
OpenAlex ID: W1993441116
cites work: Rational solutions of linear differential and difference equations with polynomial coefficients
cites work: Q4227311
cites work: Integration of solutions of linear functional equations
cites work: Plane partitions. VI: Stembridge's TSPP theorem
cites work: On solutions of linear ordinary difference equations in their coefficient field
cites work: Q4394947
cites work: An extension of Zeilberger's fast algorithm to general holonomic functions
cites work: Non-commutative elimination in Ore algebras proves multivariate identities
cites work: Efficient computation of zero-dimensional Gröbner bases by change of ordering
cites work: Decision procedure for indefinite hypergeometric summation
cites work: Summation in Finite Terms
cites work: Theory of summation in finite terms
cites work: A computer proof of a series evaluation in terms of harmonic numbers
cites work: Q4341407
cites work: A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
cites work: Computer proofs of a new family of harmonic number identities.
cites work: Q4875364
cites work: An implementation of Karr's summation algorithm in Mathematica
cites work: Q4667612
cites work: Symbolic summation with single-nested sum extensions
cites work: Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
cites work: Product representations in \(\Pi\Sigma\)-fields
cites work: The enumeration of totally symmetric plane partitions
cites work: An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities
cites work: A fast algorithm for proving terminating hypergeometric identities
cites work: A holonomic systems approach to special functions identities
DOI: 10.1016/J.AAM.2004.07.009
description: scientific article