Mary Celine Fasenmyer , RSM (4 de octubre de 1906, Crown, Pensilvania - 27 de diciembre de 1996, Erie, Pensilvania ) fue una matemática y religiosa católica estadounidense . Es conocida principalmente por su trabajo sobre funciones hipergeométricas y álgebra lineal . [1]
Fasenmyer creció en la región petrolera de Pensilvania y demostró talento matemático en la escuela secundaria. Durante diez años después de su graduación, enseñó y estudió en Mercyhurst College en Erie , donde se unió a las Hermanas de la Misericordia . Continuó sus estudios matemáticos en Pittsburgh y la Universidad de Michigan , obteniendo su doctorado en 1946 bajo la dirección de Earl Rainville , con una disertación titulada Algunos polinomios hipergeométricos generalizados . [2]
Después de obtener su doctorado, Fasenmyer publicó dos artículos que ampliaban su trabajo de doctorado. Estos fueron desarrollados más a fondo por Doron Zeilberger y Herbert Wilf en la " teoría WZ ", que permitió la prueba computacional de muchas identidades combinatorias . Después de esto, regresó a Mercyhurst para enseñar y no realizó más investigaciones.
Fasenmyer murió en 1996.
Fasenmyer es recordada principalmente por el método que lleva su nombre, descrito por primera vez en su tesis doctoral sobre las relaciones de recurrencia en series hipergeométricas. [1] La tesis demostró un método puramente algorítmico para encontrar relaciones de recurrencia satisfechas por las sumas de términos de un polinomio hipergeométrico, y requiere únicamente las expansiones en serie del polinomio. La belleza de su método es que se presta fácilmente a la automatización por computadora. El trabajo de Wilf y Zeilberger generalizó el algoritmo y estableció su corrección.
Los polinomios hipergeométricos que estudió se llaman polinomios de la hermana Celine .