Some computer assisted proofs for solutions of the heat convection problems
From MaRDI portal
Publication:1406006
DOI10.1023/A:1025179130399zbMath1126.35352OpenAlexW87867753MaRDI QIDQ1406006
Yoshitaka Watanabe, Takaaki Nishida, Mitsuhiro T. Nakao, Nobito Yamamoto
Publication date: 9 September 2003
Published in: Reliable Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1025179130399
PDEs in connection with fluid mechanics (35Q35) Error bounds for boundary value problems involving PDEs (65N15) Free convection (76R10)
Related Items (6)
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems ⋮ A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam
This page was built for publication: Some computer assisted proofs for solutions of the heat convection problems
