James, J. D. Mireles Validated numerics for equilibria of analytic vector fields: invariant manifolds and connecting orbits. (English) Zbl 1409.65109 van den Berg, Jan Bouwe (ed.) et al., Rigorous numerics in dynamics. AMS short course, Seattle, WA, USA, January 4–5, 2016. Lecture notes. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Appl. Math. 74, 27-80 (2018). Reviewer: Stathis Antoniou (Athína) MSC: 65P30 34C45 34C37 65G20 37M25 PDFBibTeX XMLCite \textit{J. D. M. James}, Proc. Symp. Appl. Math. 74, 27--80 (2018; Zbl 1409.65109) Full Text: DOI
Björnsson, Jóhann; Giesl, Peter; Hafstein, Sigurdur F.; Kellett, Christopher M. Computation of Lyapunov functions for systems with multiple local attractors. (English) Zbl 1366.37028 Discrete Contin. Dyn. Syst. 35, No. 9, 4019-4039 (2015). MSC: 37B25 37C10 93D30 37M25 34D20 PDFBibTeX XMLCite \textit{J. Björnsson} et al., Discrete Contin. Dyn. Syst. 35, No. 9, 4019--4039 (2015; Zbl 1366.37028) Full Text: DOI