By Emilie Hogan and Doron Zeilberger
.pdf
[To appear in Journal of Difference Equations and Applications]
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 do discover and prove interesting mathematics is (almost) boundless!
Maple package and webbooks
See Emilie Hogan's amazing website
that has very long computer-generated (interesting!) webbooks, and links to the Maple package,
that she wrote.
Doron Zeilberger's List of Papers