Pages that link to "Item:Q1430499"
From MaRDI portal
The following pages link to A numerical verification of nontrivial solutions for the heat convection problem (Q1430499):
Displaying 21 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Experimental validation of high-order time integration for non-linear heat transfer problems (Q416103) (← links)
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- Use of the method of manufactured solutions for the verification of conjugate heat transfer solvers (Q729392) (← links)
- A route to chaos in Rayleigh-Bénard heat convection (Q831434) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems (Q998643) (← links)
- Pattern formations in heat convection problems (Q1047076) (← links)
- Some computer assisted proofs for solutions of the heat convection problems (Q1406006) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
- Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- Nonnegativity of the numerical solution of three-dimensional heat-conduction equation (Q2770808) (← links)
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← links)
- (Q4456548) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem (Q5047142) (← links)
- A route to chaos in Rayleigh-Bénard heat convection (Q6614867) (← links)
