MathLie a computer algebra program for symmetry analysis. We discuss the application of the computer algebra program MathLie in connection with Lie’s theory of point transformations. The essential points of Lie’s transformation theory are discussed. The terms introduced in Lie’s theory are connected with computer algebra functions. These functions allow a direct calculation of the mathematical terms. The heavenly equation is used to demonstrate the application of MathLie.