文摘
英文文摘
声明
Chapter 1 Introduction
1.1 Background
1.2 Notations and Basic Definitions
Chapter 2 The Degree and Height of Polynomials and Polynomial Determinant
2.1 The Degree and Height
2.2 Computing D(M)and H(M)
2.3 The Degree-Height Bound Algorithm
2.4 Numerically Solving Symbolic Linear System of Equations
Chapter 3 Proving Hypergeometric Identities by Numerical Verifications
3.1 Overview of the Approach
3.2 Estimating n1 for Hypergeometric Identities Based on Sister Celine's Method
3.3 Estimating n1 for Hypergeometric Identities Based on Zeilberger's Algorithm
3.4 Estimating n1 for q-Hypergeometric Identities
3.5 Examples
3.5.1 Examples of the Ordinary Case
3.5.2 Examples of the q Case
Bibliography
致谢
Appendix
个人简历 在学期间发表的学术论文与研究成果