1. A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives;Kawanago;Japan J. Indust. Appl. Math.,2004
2. Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration;Kawanago;Japan J. Indust. Appl. Math.,2004
3. T. Kawanago, Some bifurcation theorems applicable to existence proofs of bifurcation points by computer, in: Lecture Notes for the 43rd Joint Symposium of Real and Functional Analysis at Iwate University, 2004, pp. 42–56 (in Japanese).
4. Numerical verification methods for the existence of solutions for functional equations;Nakao;Sugaku Expositions,1992
5. M.T. Nakao, K. Hashimoto, Y. Watanabe, A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems, preprint.