A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems. - Myoungnyoun Kim; Mitsuhiro T. Nakao; Yoshitaka Watanabe; Takaaki Nishida (Numerische Mathematik, 2009)

Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. - Mitsuhiro T. Nakao; Yoshitaka Watanabe; Nobito Yamamoto; Takaaki Nishida; Myoungnyoun Kim (J. Sci. Comput., 2010)