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'',