Pages that link to "Item:Q1971089"
From MaRDI portal
The following pages link to A numerical verification method of solutions for the Navier-Stokes equations (Q1971089):
Displaying 15 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Numerical verification of stationary solutions for Navier-Stokes problems (Q861928) (← links)
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← links)
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems (Q998643) (← links)
- A numerically based existence theorem for the Navier-Stokes equations (Q1294085) (← links)
- Verification methods for nonlinear equations with saddle point functions (Q1410829) (← links)
- A numerical verification of nontrivial solutions for the heat convection problem (Q1430499) (← links)
- The error term approximation in interval method of Crank-Nicolson type (Q1936753) (← links)
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations (Q2044142) (← links)
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains (Q2479959) (← links)
- Objectivity tests for Navier-Stokes simulations: the revealing of non-physical solutions produced by Laplace formulations (Q2638045) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
- Evaluation of Navier-Stokes solutions using the integrated effect of numerical dissipation (Q4292299) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
