Navier-Stokes wasn't even an algorithm, it was a proof that something is possible while obeying certain equations.