1: \begin{abstract}

2: Local Fourier analysis is a strong and well-established tool for analyzing the convergence

3: of numerical methods for partial differential equations. The key idea of local Fourier

4: analysis is to represent the occurring functions in terms of a Fourier series and to

5: use this representation to study certain properties of the particular numerical method,

6: like the convergence rate or an error estimate.

7: 

8: In the process of applying a local Fourier analysis, it is 

9: typically necessary to determine the supremum of a more or less complicated term

10: with respect to all frequencies and, potentially, other variables. The problem of computing

11: such a supremum can be rewritten as a quantifier elimination problem, which can be solved

12: with cylindrical algebraic decomposition, a well-known tool from symbolic computation.

13: 

14: The combination of local Fourier analysis and cylindrical algebraic decomposition

15: is a machinery that can be applied to a wide class

16: of problems. In the present paper, we will discuss two examples. The first example

17: is to compute the convergence rate of a multigrid method. As second example we will see

18: that the machinery can also be used to do something rather different: We will compare

19: approximation error estimates for different kinds of discretizations.

20: \end{abstract}

21: