TY - RPRT TI - Towards a symbolic summation theory for unspecified sequences AU - Peter Paule AU - Carsten Schneider PY - 2018 UR - https://arxiv.org/abs/1809.06578 ID - 1809.06578 ER -