An A Posteriori Condition on the Numerical Approximations of the Navier-Stokes Equations for the Existence of a Strong Solution. - Masoumeh Dashti; James C. Robinson (SIAM J. Numer. Anal., 2008)