"Algorithm for proving q-hypergeometric identities. JSC2003" - читать интересную книгу автора (Zhang.)