Masters Theses
Abstract
"In this thesis, we consider the impact of computers on the proof of identities in mathematics. We are primarily concerned with hypergeometric identities, which take on a form which is supremely suited for exploration with computers. We consider Sister Celine’s distinctly pre-computer algorithm, which served as the inspiration for the later algorithms we consider by Gosper and Zeilberger. Each of these three algorithms is designed to find a closed form solution of a hypergeometric summation. Following our exposition of these three algorithms, we consider the WZ method, a powerful application of Zeilberger’s algorithm which can be used to conclusively prove many known (or conjectured) hypergeometric identities. We also briefly explore added bonuses that come from the application of the WZ method. Next, we look at improvements and refinements both in the implementation of the algorithms themselves and the computer technology on which they are run. We also briefly discuss the advantages and disadvantages of the transition to computer proof and the impact of computer proof on human mathematicians"--Abstract, page iii.
Advisor(s)
Morgan, Ilene H.
Committee Member(s)
Hall, Leon M., 1946-
Dwilewicz, Roman
Department(s)
Mathematics and Statistics
Degree Name
M.S. in Applied Mathematics
Publisher
University of Missouri--Rolla
Publication Date
Summer 2007
Pagination
v, 45 pages
Note about bibliography
Includes bibliographical references (page 44).
Rights
© 2007 Paul Nathaniel Runnion, All rights reserved.
Document Type
Thesis - Restricted Access
File Type
text
Language
English
Subject Headings
Hypergeometric functions
Thesis Number
T 9232
Print OCLC #
239406966
Recommended Citation
Runnion, Paul Nathaniel, "Computerized proofs of hypergeometric identities: Methods, advances, and limitations" (2007). Masters Theses. 5961.
https://scholarsmine.mst.edu/masters_theses/5961
Share My Thesis If you are the author of this work and would like to grant permission to make it openly accessible to all, please click the button above.