Rigorous computation of heteroclinic bifurcations in ordinary differential equations.
Rigorous topological methods for bifurcation in dynamical systems
QUALITATIVE THEORY AND BIFURCATIONS OF ORDINARY DIFFERENTIAL EQUATIONS AND APPLICA...
Qualitative Theory and Bifurcations of Dynamical Systems and Applications in the S...
Applications of Computational and Topological Methods to Dynamical Systems