Some computer assisted proofs for solutions of the heat convection problems
scientific article; zbMATH DE number 1977882