Navier-Stokes equations, Navier boundary conditions, 
uniqueness, bifurcation, computer assisted proof