Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions

In this paper we present three different approaches for the determination of conservation laws. For three correspondingREDUCEcomputer algebra programsCONLAW1/2/3the necessary subroutines are described. All three programs use subroutines which remove redundant functions and constants in the general solution of the conservation law conditions. The corresponding algorithm is explained. Such a program is not only applicable in the context of computing conservation laws but whenever redundancy in differential expressions is to be removed or gauge freedom to be fixed.