Pages that link to "Item:Q861928"
From MaRDI portal
The following pages link to Numerical verification of stationary solutions for Navier-Stokes problems (Q861928):
Displaying 10 items.
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- The error term approximation in interval method of Crank-Nicolson type (Q1936753) (← links)
- A numerical verification method of solutions for the Navier-Stokes equations (Q1971089) (← links)
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← links)
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains (Q2479959) (← links)
- On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations (Q3121496) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- A Numerical Verification Method for a System of FitzHugh-Nagumo Type (Q4899071) (← links)
