Text this: Computer-aided analysis of difference schemes for partial differential equations/