University of Szeged

Assistance for testing of the program described in the paper A computer-assisted proof for Sigma-3 chaos in the forced damped pendulum equation

 

We show a step by step procedure for testing of  the program in our computer assisted proof  under the Windows operating systems (tested under XP). You can find everything in this zipped file (the compiled version of our program and the numerical results too).  Screen shots and a movie of the previous steps: movie, sc1, sc2, sc3, sc4, sc5.

Balázs Bánhelyi

Institute of Informatics, University of Szeged

6701 Szeged, Hungary, P. O. Box 652.

Phone: +36 62 544 810

Fax: +36 62 546 397

E-mail: banhelyi@inf.u-szeged.hu

Contact: