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 7 items.
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
- Numerical verification of stationary solutions for Navier-Stokes problems (Q861928) (← links)
- 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 computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem (Q5047142) (← links)
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory (Q6671871) (← links)
