This work proposes and analyses an adaptive finite element scheme for the fully non-linear incompressible Navier-Stokes equations. A residual a posteriori error estimator is shown to be effective and reliable with respect ...