Codimension-\(m\) bifurcation theorems applicable to the numerical verification methods (Q2248676)

Summary: We establish codimension-\(m\) bifurcation theorems applicable to the numerical verification methods. They are generalization of codimension-1 bifurcation theorems established by the author [Japan J. Ind. Appl. Math. 21, No. 1, 57--74 (2004; Zbl 1054.37030)]. As a numerical example, we treat Hopf bifurcation, which is codimension-2 bifurcation.