Pages that link to "Item:Q2076252"
From MaRDI portal
The following pages link to Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252):
Displaying 3 items.
- Fully computable a posteriori error bounds for eigenfunctions (Q2168065) (← links)
- Further study on the global existence and boundedness of the weak solution in a three-dimensional chemotaxis-Stokes system with nonlinear diffusion and general sensitivity (Q2170822) (← links)
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory (Q6671871) (← links)
