By Emilie Hogan and Doron Zeilberger
Added June 5, 2023: We thank our IT guru, Nigel Phillip, for restoring these important web-pages!
Emilie (born Hogan) Purvine current homepage
Emilie Hogan's old Home Page
.pdf
[Appeared in Journal of Difference Equations and Applications 18(2012), 1853-1873]
Written: June 3, 2011.
Computers can be taught not just to discover and prove identities,
but they can even do "analysis" and prove "infinitary" theorems!
The computer's potential to discover and prove interesting mathematics is (almost) boundless!
Maple package and webbooks
Program and WebBook
Doron Zeilberger's List of Papers