Nakao, Mitsuhiro T.; Watanabe, Yoshitaka; Yamamoto, Nobito; Nishida, Takaaki; Kim, Myoungnyoun Erratum to: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems. (English) Zbl 1203.80011 J. Sci. Comput. 44, No. 1, 107 (2010). MSC: 80A20 76R10 65J15 65P30 PDFBibTeX XMLCite \textit{M. T. Nakao} et al., J. Sci. Comput. 44, No. 1, 107 (2010; Zbl 1203.80011) 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
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; Yamamoto, Nobito; Nakao, Mitsuhiro T.; Nishida, Takaaki A numerical verification of nontrivial solutions for the heat convection problem. (English) Zbl 1062.35092 J. Math. Fluid Mech. 6, No. 1, 1-20 (2004). Reviewer: Oleg Titow (Berlin) MSC: 35Q35 35-04 65N15 76R10 80A20 PDFBibTeX XMLCite \textit{Y. Watanabe} et al., J. Math. Fluid Mech. 6, No. 1, 1--20 (2004; Zbl 1062.35092) Full Text: DOI
Nakao, Mitsuhiro T.; Watanabe, Yoshitaka; Yamamoto, Nobito; Nishida, Takaaki Some computer assisted proofs for solutions of the heat convection problems. (English) Zbl 1126.35352 Reliab. Comput. 9, No. 5, 359-372 (2003). MSC: 35Q35 65N15 76R10 80A20 PDFBibTeX XMLCite \textit{M. T. Nakao} et al., Reliab. Comput. 9, No. 5, 359--372 (2003; Zbl 1126.35352) Full Text: DOI
Watanabe, Yoshitaka; Nakao, Mitsuhiro T.; Yamamoto, Nobito; Nishida, Takaaki A numerical verification for stationary solutions of Rayleigh-Bénard convection. (Japanese) Zbl 0968.76538 RIMS Kokyuroku 1147, 132-136 (2000). MSC: 76E06 76M25 PDFBibTeX XMLCite \textit{Y. Watanabe} et al., RIMS Kokyuroku 1147, 132--136 (2000; Zbl 0968.76538)