Mary Celine Fasenmyer
From Wikipedia, the free encyclopedia
Sister Mary Celine Fasenmyer (Crown, Pennsylvania, October 4, 1906 – Erie, Pennsylvania, December 27, 1996) was a mathematician. She is most noted for her work on hypergeometric functions and linear algebra.
Contents |
[edit] Life
Sister Celine grew up in Pennsylvania's oil country and displayed mathematical talent in high school. For ten years after her graduation she taught and studied at Mercyhurst College in Erie, where she joined the Sisters of Mercy. She pursued her mathematical studies in Pittsburgh and the University of Michigan, obtaining her doctorate in 1946.
After getting her Ph.D., Sister Celine published two papers which expanded on her doctorate work. These papers would be further elaborated by Doron Zeilberger and Herbert Wilf into "WZ theory", which allowed computerized proof of many combinatorial identities. After this, she returned to Mercyhurst to teach and did not engage in further research.
[edit] Sister Celine's method
Sister Celine is most remembered for the method that bears her name, first elucidated in her Ph.D. thesis concerning recurrence relations in hypergeometric series. The thesis demonstrated a purely algorithmic method to find recurrence relations satisfied by sums of terms of a hypergeometric polynomial and requires only the series expansions of the polynomial. The beauty of her method is that it lends itself readily to computer automation. The work of Wilf and Zeilberger generalized the algorithm and established its correctness.
Describing Sister Celine's method in his introduction to the book A=B, Donald Knuth wrote: "Science is what we understand well enough to explain to a computer. Art is everything else we do. During the past several years an important part of mathematics has been transformed from an Art to a Science."
[edit] Publications
- Some Generalized Hypergeometric Polynomials, Ph.D. thesis. University of Michigan, 1945.
- Some Generalized Hypergeometric Polynomials, Bull. Amer. Math. Soc. 53, 806–812, 1947.
- A Note on Pure Recurrence Relations, Amer. Math. Monthly 56, 14–17, 1949.
[edit] References
- Biography, primary source for this article
- Sister Celine's Methods, Theorems, and DemonstrationsPDF
- Eric W. Weisstein, Sister Celine's Method at MathWorld.
- Petkovsek, Wilf, Zeilberger, A=B, ISBN 1-56881-063-6. [1]
