Computer-Aided Analysis of Difference Schemes for Partial Differential Equations