Priebe, Volker Algorithms and Complexity, MPI for Informatics, Max Planck Society;
https://rdcu.be/dxiWj (Publisher version)
Priebe, V. (1994). Solvability of the Navier-Stokes equations on manifolds with boundary. Manuscripta Mathematica, 83, 145-159. doi:10.1007/BF02567605.