Among other distinctions, he is the co-author of SWIFT, a commonly used symplectic integrator that solves planetary equations of motion for periods of billions of years.
The problems start out with simple fractional expressions, followed by completion ("sekhem") problems and more involved linear equations ("aha" problems).