The following pages link to navierstokes (Q56325):
Displayed 8 items.
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions (Q2028596) (← links)
- A Hopf bifurcation in the planar Navier-Stokes equations (Q2050575) (← links)
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem (Q2116294) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations (Q2659598) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)