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 to discover and prove interesting mathematics is (almost) boundless!

Maple package and webbooks

Program and WebBook

Added June 5, 2023: We thank our IT guru, Nigel Phillip, for restoring these important web-pages!

Doron Zeilberger's List of Papers

Doron Zeilberger's Home Page

Emilie (born Hogan) Purvine current homepage Emilie Hogan's old Home Page