Software to selected publications
- U.Kirchgraber, D.Stoffer, Possible chaotic motion of comets in the Sun-Jupiter system -- a computer-assisted approach based on shadowing, Nonlinearity 17(2004), 281-300.
(http://www.iop.org)
- D. Stoffer, K.J.Palmer, Rigorous Verification of Chaotic Behaviour of
Maps using Validated Shadowing, Nonlinearity 12 (1999), 1683-1698.