A mixed finite element approximation of the Navier-Stokes equations | doi.page