Sciweavers

JSC
2006

SumCracker: A package for manipulating symbolic sums and related objects

13 years 3 months ago
SumCracker: A package for manipulating symbolic sums and related objects
We describe a new software package, named SumCracker, for proving and finding identities involving symbolic sums and related objects. SumCracker is applicable to a wide range of expressions for many of which there has not been any software available up to now. The purpose of this paper is to illustrate how to solve problems using that package. Key words: Symbolic Summation, Combinatorial Sequences, Software
Manuel Kauers
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JSC
Authors Manuel Kauers
Comments (0)