"A=B (symbolic summation algorithms)" - читать интересную книгу автора (Wilf, Zeilberger.)