Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An a posteriori condition on the numerical approximations of the
  Navier-Stokes equations for the existence of a strong solution   In their 2006 paper, Chernyshenko et al prove that a sufficiently smooth
strong solution of the 3d Navier-Stokes equations is robust with respect to
small enough changes in initial conditions and forcing function. They also show
that if a regular enough strong solution exists then Galerkin approximations
converge to it. They then use these results to conclude that the existence of a
sufficiently regular strong solution can be verified using sufficiently refined
numerical computations. In this paper we study the solutions with minimal
required regularity to be strong, which are less regular than those considered
in Chernyshenko et al (2006). We prove a similar robustness result and show the
validity of the results relating convergent numerical computations and the
existence of the strong solutions.

18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
1
The categories of this paper are: cs