Some computer assisted proofs for solutions of the heat convection problems

DOI10.1023/A:1025179130399zbMATH Open1126.35352OpenAlexW87867753MaRDI QIDQ1406006FDOQ1406006

Authors: Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida 

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

Recommendations

• Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
• A numerical verification of nontrivial solutions for the heat convection problem
• Erratum to: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
• A computer-assisted proof for nonlinear heat equations in the complex plane of time
• An explicit finite element algorithm for convection heat transfer problems
• Publication:3484549
• A numerical scheme for thermal convection problems
• scientific article; zbMATH DE number 3876523
• On some finite difference schemes for solution of hyperbolic heat conduction problems
• scientific article; zbMATH DE number 4076513

Mathematics Subject Classification ID

PDEs in connection with fluid mechanics (35Q35) Error bounds for boundary value problems involving PDEs (65N15) Free convection (76R10)

Cited In (7)

• An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
• Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
• Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
• A numerical verification of nontrivial solutions for the heat convection problem
• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1406006)