  All three-point and five-point conservation laws for the discrete Korteweg-de
Vries equations are found. These conservation laws satisfy a functional
equation, which we solve by reducing it to a system of partial differential
equations. Our method uses computer algebra intensively, because the
determining functional equation is quite complicated.
