A New Algorithm for Proving Global Asymptotic Stability of Rational Difference Equations

By Emilie Hogan and Doron Zeilberger

[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 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

Doron Zeilberger's Home Page

Emilie Hogan's Home Page