"Symbolic summation with generating functions" - читать интересную книгу автора (Ravenscroft, Lamagna.)