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