Using cylindrical algebraic decomposition and local Fourier analysis to study numerical methods: two examples
Type
Publication
in: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, p.42-49
