TY - RPRT TI - A Posteriori Regularity of the Three-dimensional Navier-Stokes Equations from Numerical Computations AU - Sergei I. Chernyshenko AU - Peter Constantin AU - James C. Robinson AU - Edriss S. Titi PY - 2006 DO - 10.1063/1.2372512 UR - https://arxiv.org/abs/math/0607181 ID - math/0607181 ER -