"Closed forms for symbolic summation. JSC 1993" - читать интересную книгу автора (Man.)