The purpose of this research is to develop various mathematical methods, especially rigorous topological computation, for studying global dynamical structures in coupled systems, and to give better ...