Algorithmic Proof of Combinatorial Identities of Holonomic Type


Frederic Chyzak



created Thu Jan 13 17:49:34 PST 2000