Pages that link to "Item:Q2479959"

The following pages link to Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains (Q2479959):

Displaying 9 items.

• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs (Q710895) (← links)
• Numerical verification of stationary solutions for Navier-Stokes problems (Q861928) (← links)
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains (Q1326465) (← links)
• Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← 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)
• Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← links)
• Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
• Numerical verification for solutions to partial differential equations (Q4568286) (← links)