Computer-Aided Analysis of Difference Schemes for Partial Differential Equations: Ganzha/Computer-Aided