JSC
2006
13 years 11 months ago
2006
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 e...
ISSAC
2007
Springer
14 years 5 months ago
2007
Springer
An extension of Karr’s summation algorithm is presented by which symbolic sums involving radical expressions can be simplified. We discuss the construction of appropriate diff...