Nagatou, K.; Plum, M.; McKenna, P. J. Orbital stability investigations for travelling waves in a nonlinearly supported beam. (English) Zbl 1472.35039 J. Differ. Equations 268, No. 1, 80-114 (2019). Reviewer: Nicolae Cîndea (Aubière) MSC: 35B35 37C75 35L76 35C07 74K10 PDFBibTeX XMLCite \textit{K. Nagatou} et al., J. Differ. Equations 268, No. 1, 80--114 (2019; Zbl 1472.35039) Full Text: DOI
Watanabe, Yoshitaka An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid. (English) Zbl 1334.35213 J. Comput. Appl. Math. 302, 157-170 (2016). MSC: 35Q30 65N15 76D03 PDFBibTeX XMLCite \textit{Y. Watanabe}, J. Comput. Appl. Math. 302, 157--170 (2016; Zbl 1334.35213) Full Text: DOI
Nakao, Mitsuhiro T.; Watanabe, Yoshitaka; Yamamoto, Nobito; Nishida, Takaaki; Kim, Myoung-Nyoung Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems. (English) Zbl 1203.80010 J. Sci. Comput. 43, No. 3, 388-401 (2010). MSC: 80A20 76R10 65J15 65P30 PDFBibTeX XMLCite \textit{M. T. Nakao} et al., J. Sci. Comput. 43, No. 3, 388--401 (2010; Zbl 1203.80010) Full Text: DOI
Watanabe, Yoshitaka; Nakao, Mitsuhiro T. Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem. (English) Zbl 1184.65106 Japan J. Ind. Appl. Math. 26, No. 2-3, 443-463 (2009). MSC: 65N30 65C20 35B32 35J66 65N15 PDFBibTeX XMLCite \textit{Y. Watanabe} and \textit{M. T. Nakao}, Japan J. Ind. Appl. Math. 26, No. 2--3, 443--463 (2009; Zbl 1184.65106) Full Text: DOI Euclid
Kim, Myoungnyoun; Nakao, Mitsuhiro T.; Watanabe, Yoshitaka; Nishida, Takaaki A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems. (English) Zbl 1155.76024 Numer. Math. 111, No. 3, 389-406 (2009). MSC: 76E06 76M99 35Q35 PDFBibTeX XMLCite \textit{M. Kim} et al., Numer. Math. 111, No. 3, 389--406 (2009; Zbl 1155.76024) Full Text: DOI
Watanabe, Yoshitaka A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid. (English) Zbl 1153.76022 J. Comput. Appl. Math. 223, No. 2, 953-966 (2009). MSC: 76D05 76M99 35Q30 PDFBibTeX XMLCite \textit{Y. Watanabe}, J. Comput. Appl. Math. 223, No. 2, 953--966 (2009; Zbl 1153.76022) Full Text: DOI