Limit Cycles of Lorenz System with Hopf Bifurcation

We prove that near the bifurcation point unstable limit cycle arises from the Lorenz system. In the analysis, we use the method of local bifurcation theory, especially the center manifold and the normal form theorem. A computer algebra system using Maple to derive all the formulas and verify the results presented in this paper.