LINA01: A REDUCE program for the normalization of polynomial Hamiltonians. The program LINA01 is proposed for the direct and the inverse normalization of Hamiltonian systems and for the calculation of formal integrals of motion of them. The calculations required in LINA01 are made on the basis of Lie canonical transformation method. The program package of LINA01 is written on REDUCE (Source: