Symbolic summation with single-nested sum extensions.

Carsten Schneider

Browse the full ISSAC paper archive.