The following pages link to (Q4949371):
Displaying 8 items.
- Quantifier elimination supported proofs in the numerical treatment of fluid flows (Q945006) (← 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 method of solutions for the Navier-Stokes equations (Q1971089) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← 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)
- Evaluation of Navier-Stokes solutions using the integrated effect of numerical dissipation (Q4292299) (← links)