@article{cse-bam-hat-07-aa-chaos,
  author = {Csendes, Tibor and B{\'a}mhelyi, Bal{\'a}sz and Hatvani, L{\'a}szl{\'o}},
  title = {Towards a Computer-Assisted Proof for Chaos in Forced Damped Pendulum Equation},
  journal = {Journal of Computational and Applied Mathematics},
  year = 2007,
  volume = 199,
  number = 2,
  month = feb,
  doi = {10.1016/j.cam.2005.08.046},
  pages = {378-383},
  comment = {Uses IA only. LHF says he saw this one.},
  abstract = {We report on the first steps made towards the computational proof of the chaotic behaviour of the forced damped pendulum. Although, chaos for this pendulum was being conjectured for long, and it has been plausible on the basis of numerical simulations, there is no rigorous proof for it. In the present paper we provide computational details on a fitting model and on a verified method of solution. We also give guaranteed reliability solutions showing some trajectory properties necessary for complicate chaotic behaviour.}
}