SC 98-05 Thomas Wolf, Andreas Brand, Majid Mohammadzadeh: Computer algebra algorithms and routines for the computation
of conservation laws and fixing of gauge in differential
expressions
Abstract: Three different approaches for the determination of conservation
laws of differential equations are presented. For three corresponding REDUCE computer
algebra programs CONLAW1/2/3 the necessary subroutines are discribed. One of them
simplifies general solutions of overdetermined PDE systems so that all remaining
free functions and constants correspond to independent conservation laws. It determines
redundant functions and constants in differential expressions and is equally useful
for the determination of symmetries or the fixing of gauge freedom in differential
expressions.
MSC: 35-XX, 34-XX