Manuel Kauers, Carsten Schneider. Application of unspecified sequences in symbolic summation. In Barry M. Trager, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings. pages 177-183, ACM, 2006. [doi]
Abstract is missing.