Frederic Chyzak at MSRI - Algorithmic Proof of Combinatorial Identities of Holonomic Type

<BODY> MSRI Streaming Video Series <BR> Frederic Chyzak - Algorithmic Proof of Combinatorial Identities of Holonomic Type <BR> </BODY>