本文根据著名数学家吴文俊的数学机械化思想,以符号计算软件为工具,研究非线性偏微分系统的李点对称、李变换群和偏微分系统的对称约化形式的一种构造性算法。依据此算法给出（1+1）维非线性偏微分方程及方程组的李点对称、李对称群、对称约化及相似解的完全自动的求解软件包LiePS和LiePSS,并在符号计算软件系统Maple上予以机械化实现。第1章简要介绍了计算机代数与计算机代数系统,数学机械化以及微分方程的对称性理论,同时介绍国内外学者在这些学科领域所取得的成果。最后介绍本文的主要工作。第2章主要阐述了用于构造非线性微分方程对称约化的三种传统的方法：经典李群法、非经典李群法以及CK直接方法。第3章首先介绍了李变换群、李第一基本定理、微分方程不变性等一些基本概念及定理,然后以传统李群理论和方法为基础,借助符号计算系统Maple详细描述和介绍了求解非线性偏微分方程的李点对称、李对称群及其对称约化的一种新方法——直接计算机代数替换方法,并将其应用到三个非线性偏微分方程（组）中。第4章利用第三章所描述的算法,在Maple系统上给出求解（1+1）维偏微分方程（组）的李对称性的完全自动化的Maple软件包。第5章对全文的工作进行了总结和讨论,概括了本文作者工作的优点及不足之处,并对进一步的工作进行了展望。