
The idea that one can prove a hypergeometric identity by checking a finite number of special cases was known to \textit{D. Zeilberger} [J. Math. Anal. Appl. 85, 114--145 (1982; Zbl 0485.05003)]. \textit{L. Yen} [J. Math. Anal. Appl. 213, 1--14 (1997; Zbl 0903.33008)] gave a two-line algorithm to show that \(q\)-hypergeometric identities \(\sum_kF(n,k)=1\); \(n\geq n_0\); can be proved by checking that they are correct for \(n\in\{n_0,n_0 +1,\dots, n_1\}\), where \(n_1\) is a polynomial of degree of 24 in the parameters of \(F(n,k)\). In this paper, the author improves this result by giving a specific formula for \(n_1\), bounded above by a polynomial of degree 9 in the parameters of \(F(n,k)\). As illustration, he applies the obtained result to the \(q\)-Vandermonde-Chu identity and to the Jacobi's triple product identity.
Two-line algorithm, \(q\)-hypergeometric identities, Basic hypergeometric functions in one variable, \({}_r\phi_s\), two-line algorithm, Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.), Sister Celine's technique, Discrete Mathematics and Combinatorics, sister Celine's technique, q-Hypergeometric identities, Combinatorial identities, bijective combinatorics, Theoretical Computer Science
Two-line algorithm, \(q\)-hypergeometric identities, Basic hypergeometric functions in one variable, \({}_r\phi_s\), two-line algorithm, Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.), Sister Celine's technique, Discrete Mathematics and Combinatorics, sister Celine's technique, q-Hypergeometric identities, Combinatorial identities, bijective combinatorics, Theoretical Computer Science
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
