Rigorous Proof of Chaotic Behaviour in a Dumbbell Satellite Model

In this paper we apply a computer assisted method developed by Stoffer, Palmer, and Kirchgraber to rigorously establish the existence of chaotic behaviour in a differential equation model of a dumbbell satellite moving on a Keplerian ellipse