Carsten Schneider, Manuel Kauers,
"Application of Unspecified Sequences in Symbolic Summation"
, in Jean-Guillaume Dumas: Proceedings of ISSAC'06, ACM Press, Seite(n) 177-183, 2006
Original Titel:
Application of Unspecified Sequences in Symbolic Summation
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of ISSAC'06
Original Kurzfassung:
We consider symbolic sums which contain subexpressions that represent unspecified sequences. Existing symbolic summation technology is extended to sums of this kind. We show how this can be applied in the systematic search for general summation identities. Both, results about the non-existence of identities of a certain form, and examples of general families of identities which we have discovered automatically are included in the paper.
Forschungs-