Proving hypergeometric identities by numerical verifications
Proper and \(q\)-proper hypergeometric identities can be certified by checking a finite number \(n\) of initial values. The authors give a new method to estimate \(n\). The given examples show that the new estimates are smaller than the previous results.
scientific article; zbMATH DE number 5500872