Manuel Kauers,
"SumCracker: A Package for Manipulating Symbolic Sums and Related Objects"
, Serie SFB F013 Reports, Nummer 2005-21, SFB, Johannes Kepler University, Altenberger Str. 69, 4040 Linz, 12-2005
Original Titel:
SumCracker: A Package for Manipulating Symbolic Sums and Related Objects
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
SFB
Verlagsanschrift:
Johannes Kepler University, Altenberger Str. 69, 4040 Linz