The regularity problem for the three-dimensional Navier–Stokes equations

This paper gives a brief summary of some of the main results concerning the regularity of solutions of the three-dimensional Navier–Stokes equations. We then outline the basis of a numerical algorithm that, at least in theory, can verify regularity for all initial conditions in any bounded subset of H1.