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