Rigorous topological methods for bifurcation in dynamical systems
Rigorous computation of heteroclinic bifurcations in ordinary differential equations.
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