TY  - RPRT
TI  - Using cylindrical algebraic decomposition and local Fourier analysis to study numerical methods: two examples
AU  - Stefan Takacs
PY  - 2015
DO  - 10.1109/synasc.2014.14
UR  - https://arxiv.org/abs/1502.03926
ID  - 1502.03926
ER  -