A Shooting Approach to Chaos in the Lorenz Equations

We prove that under certain conditions, the Lorenz equations support a form of chaos. The conditions have been verified for a particular set of parameter values, showing that there is a natural 1:1 correspondence between a set of solutions and the set of all sequences on countably many symbols. The computing required was modest.