Contributions to the Proof Theory of Hypergeometric Identities

A Dissertation in Mathematics

Presented to the Faculties of the University of Pennsylvania in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy

1993

Lily Yen

• Title page
• Dedication
• Acknowledgements
• Abstract
• Contents
• Introduction
• Chapter I. The Order of the Recurrence for F(n, k)
• Chapter II. An Algorithm for Certifying \sum_k F(n,k)
• Chapter III. The r-Variable Case
• Chapter IV. An Algorithm for Certifying \sum_k F(n,k) = f_n
• Chapter V. Some Hypergeometric Identities are Almost Trivial
• Chapter VI. Multivariable Hypergeometric Identities are Almost Trivial
• Chapter VII. When is \sum_k F(n,k) Hypergeometric
• Bibliography
• Indices