It is known that proper and q-proper hypergeometric identities can be certified by checking a finite number, say n_1, of initial values. By studying the degree and the height of the determinant of a polynomial matrix, we give a new method to estimate n_1. Examples show that the new estimates are considerably smaller than the previous results.
展开▼
