๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Two-Line Algorithm for Proving Terminating Hypergeometric Identities

โœ Scribed by Lily Yen


Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
216 KB
Volume
198
Category
Article
ISSN
0022-247X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A Two-Line Algorithm for Provingq-Hyperg
โœ Lily Yen ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 206 KB

We show that q-hypergeometric identities ร F n, k s 1 can be proved by k checking that they are correct for only finitely many, N say, values of n. We give a specific a priori formula for N, as a polynomial of degree 24 in the parameters of ลฝ . F n, k . We see this because of the presence of ''q'',