Using Cylindrical Algebraic Decomposition and Local Fourier Analysis to Study Numerical Methods: Two Examples | IEEE Conference Publication | IEEE Xplore