Navier-Stokes equations, Navier boundary conditions, 
Hopf bifurcation, analytic, computer assisted proof