symbolic computation

A surprisingly effective algorithm for the simplification of integrals and sums arising in the partial differential equations and numerical methods

Conservation laws and dissipated quantities are fundamental in analysis. Here we discuss them in partial differential equations and their discretizations. These quantities are integral expressions or, in the discrete case, sums. Often, checking their …