| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| Table of Contents | 第9-11页 |
| 1 Introduction | 第11-19页 |
| ·Background | 第11-14页 |
| ·Notations and Basic Definitions | 第14-19页 |
| 2 The Degree and Height of Polynomials and Polynomial Determinant | 第19-39页 |
| ·The Degree and Height | 第19-24页 |
| ·Computing V(M) and H(M) | 第24-29页 |
| ·The Degree-Height Bound Algorithm | 第29-32页 |
| ·Numerically Solving Symbolic Linear System of Equations | 第32-39页 |
| 3 Proving Hypergeometric Identities by Numerical Verifications | 第39-63页 |
| ·Overview of the Approach | 第39-41页 |
| ·Estimating n_1 for Hypergeometric Identities Based on Sister Celine's Method | 第41-48页 |
| ·Estimating n_1 for Hypergeometric Identities Based on Zeilberger's Algorithm | 第48-51页 |
| ·Estimating n_1 for q-Hypergeometric Identities | 第51-53页 |
| ·Examples | 第53-63页 |
| ·Examples of the Ordinary Case | 第54-60页 |
| ·Examples of the q Case | 第60-63页 |
| Bibliography | 第63-71页 |
| 致谢 | 第71-73页 |
| Appendix | 第73-83页 |
| 个人简历在学期间发表的学术论文与研究成果 | 第83页 |
