TY - RPRT TI - Numerical verification of regularity in the three-dimensional Navier-Stokes equations AU - J C Robinson AU - W Sadowski PY - 2007 UR - https://arxiv.org/abs/math/0701268 ID - math/0701268 ER -