Proving hypergeometric identities by numerical verifications

• Autores: Qiang-Hui Guo, Qing-Hu Hou, Lisa H. Sun
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 43, Nº 12, 2008, págs. 895-907
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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