In this paper we expound the principle why the Lanczos procedure of a matrix canbe accurately performed by symbolic computation and give the uses of the accuratelanczos procedure in obtaining the invariant factors of a matrix and solving the matrixequation AX-XB=C.
