Using cylindrical algebraic decomposition and local Fourier analysis to study numerical methods: two examples

Publication
in: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, p.42-49
Stefan Takacs
Stefan Takacs
Postdoctoral Researcher