Proving hypergeometric identities by numerical verifications

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