A fast algorithm for proving terminating hypergeometric identities.

Doron Zeilberger

Published in: Discret. Math. (1990)

Keyphrases

image processing
viewpoint
machine learning
prior knowledge