Towards Automated Chaos Verification
S. Day, O. Junge, K. Mischaikow, in: EQUADIFF 2003, 2005.

Towards automized chaos verification
S. Day, O. Junge, K. Mischaikow, in: Proceedings of Equadiff 2003, International Conference on Differential Equations, 2005.