Details:
Title  Holonomic Systems and Automatic Proofs of Identities  Author(s)  Frederic Chyzak  Type  Technical Report, Misc  Abstract  This report presents three computer algebra packages in the Maple
language for the symbolic manipulation of linear systems of differential and recurrence equations. They are especially designed to deal with socalled holonomic systems. We also give a theoretical justification to our implementation. The set of holonomic functions and sequences is a large class of objects. It forms an algebra and is closed under algebraic substitution and diagonal. An implementation of these properties makes it possible to perform computer assisted proofs of holonomic identities in
a simple way, since any holonomic system has a normal form obtained
by an extension of the Grobner basis algorithm. For instance, combinatorial problems often lead to holonomic systems and to identities involving binomial coefficients. Many identities involving special
functions are also captured by the theory of holonomy. Examples are
given to show how some interesting identities are proved by our system.  Length  64  ISSN  02496399 
File 
 Language  English  Number  2371  Year  1994  Month  October  Translation 
No  Refereed 
No  Institution 
INRIA 
