Loading...
Please wait, while we are loading the content...
Similar Documents
Holonomic systems and automatic proofs of identities (1994).
| Content Provider | CiteSeerX |
|---|---|
| Author | Chyzak, Frederic |
| Abstract | 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. |
| File Format | |
| Publisher Date | 1994-01-01 |
| Access Restriction | Open |
| Subject Keyword | Holonomic System Automatic Proof Many Combinatorial Identity Special Function General Algorithmic Approach Multivariate Case Holonomic Sequence |
| Content Type | Text |