Resumen de Proving hypergeometric identities by numerical verifications

Qiang-Hui Guo, Qing-Hu Hou, Lisa H. Sun

• 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