Pages that link to "Item:Q861928"

The following pages link to Numerical verification of stationary solutions for Navier-Stokes problems (Q861928):

Displaying 7 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 computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem (Q2352149) (← 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)