Hypergeometric identity: Difference between revisions

Although in the past one{{who?|date=Decemberproofs 2016}}have hasbeen found proofsfor ofmany certainspecific identities{{vague|date=December, 2016}} there exist several algorithms{{vague|date=Decembergeneral 2016}}algorithms to find and prove identities. These algorithms first find a ''simple expression'' for a sum over hypergeometric terms and then provide a certificate which anyone couldcan use to easily check and prove the correctness of the identity.

For each of the hypergeometric sum types there exist one or more methods to find a ''simple expression''. These methods also provide athe certificate to easily check the identity's proof of an identity:

AThe book named '''A = B''' has been written by [[Marko Petkovšek]], [[Herbert Wilf]] and [[Doron Zeilberger]] describingdescribes the three main approaches describedmentioned above.