本文研究微分方程(组)，特别是在力学、空气动力学、等离子体物理、生物物理和化学物理等现代科学技术中引出的非线性偏微分方程(组)的守恒律的机械化算法，包括偏微分方程(组)的守恒律的两种新算法，并予以程序实现。并介绍了守恒律分类的一种方法，运用这一方法对方程ut=(A(u)ux)+B(u)ux+C(u)的守恒律进行了分类，得到了它的守恒律分类的结果和势系统。　　 第一章介绍了数学机械化思想与符号计算以及一些有关这些学科的国内外学者所取得的成果，回顾了李群理论的起源，简单介绍了Lie对称和守恒律的历史和发展。同时，叙述了群分类及守恒律分类的近期研究情况。　　 第二章介绍了求解微分方程的“AC=BD”理论及其应用，通过实例说明了这一理论的使用方式和适用范围，并通过具体的变换给出了C-D对的构造方法。　　 第三章首先介绍了守恒律的相关理论，并提出计算微分方程守恒律两个机械化算法--原方程不求导方法和原方程求导方法。第一种算法以破裂孤立子方程为例，介绍了算法求守恒律的过程；第二种算法以形变Boussinesq方程为例，介绍了如何用此种算法来求守恒律。通过这些例子说明了算法的有效性。　　 第四章介绍了守恒律分类的一种方法，运用这一方法对方程ut=(A(u)ux)x+B(u)ux+C(u)的守恒律进行了分类，得到的守恒律分类的结果中包含了Popovych，R.O.和Ivanova，N.M.对微分方程ut=(A(u)ux)x+B(u)ux的守恒律进行分类得到的结果，还得到了微分方程的势系统。