Wayne Brian Hayes

• Efficient shadowing of high dimensional chaotic systems, with the large astrophysical N-body problem as an example
• Rigorous shadowing of numerical solutions of ordinary differential equations by containment