Holonomic systems and automatic proofs of identities
Frédéric Chyzak · 1994
D. Zeilberger has shown how many combinatorial identities involving special functions can be proved using the theory of holonomic sequences and functions. This work presents a general algorithmic approach to the multivariate case, together with an implementation.