A fast algorithm for proving terminating hypergeometric identities (Q913796)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A fast algorithm for proving terminating hypergeometric identities |
scientific article; zbMATH DE number 4148095
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A fast algorithm for proving terminating hypergeometric identities |
scientific article; zbMATH DE number 4148095 |
Statements
A fast algorithm for proving terminating hypergeometric identities (English)
0 references
1990
0 references
This is a very brief description of an algorithm developed by the author for verifying identities for terminating hypergeometric series. A fuller account of this procedure with examples of its use to both prove and discover such identities can be found in ``WZ pairs certify combinatorial identities'' (preprint) by Herbert Wilf and Doron Zeilberger.''
0 references
algorithm
0 references
identities
0 references
terminating hypergeometric series
0 references
0 references
0 references
