Towards Automated Chaos Verification
S. Day, O. Junge, K. Mischaikow, in: EQUADIFF 2003, 2005.
LibreCat: /record/16525
DOI: 10.1142/9789812702067_0014