Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Using cylindrical algebraic decomposition and local Fourier analysis to
  study numerical methods: two examples   Local Fourier analysis is a strong and well-established tool for analyzing
the convergence of numerical methods for partial differential equations. The
key idea of local Fourier analysis is to represent the occurring functions in
terms of a Fourier series and to use this representation to study certain
properties of the particular numerical method, like the convergence rate or an
error estimate.
  In the process of applying a local Fourier analysis, it is typically
necessary to determine the supremum of a more or less complicated term with
respect to all frequencies and, potentially, other variables. The problem of
computing such a supremum can be rewritten as a quantifier elimination problem,
which can be solved with cylindrical algebraic decomposition, a well-known tool
from symbolic computation.
  The combination of local Fourier analysis and cylindrical algebraic
decomposition is a machinery that can be applied to a wide class of problems.
In the present paper, we will discuss two examples. The first example is to
compute the convergence rate of a multigrid method. As second example we will
see that the machinery can also be used to do something rather different: We
will compare approximation error estimates for different kinds of
discretizations.

34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
21
The categories of this paper are: adap-org