Nonstandard methods for navier-stokes equations

In this paper we give a survey of recent joint work of the authors in which methods from nonstandard analysis are used to provide a new ap roach to the solution of the Navier-Stokes equations.