Lie symmetry analysis provides a general theoretical framework for investigating ordinary and partial differential equations. The theory is completely algorithmic even if it usually involves lengthy computations. For this reason, many computer algebra packages have been developed along the years to automate the computation. In this paper, we describe the program ReLie, written in the Computer Algebra System Reduce, which since 2008 is an open source program (http://www.reduce-algebra.com) and is available for all platforms. \relie is able to perform almost automatically the needed computations for Lie symmetry analysis of differential equations. Its source code is freely available at the url http://mat521.unime.it/oliveri. The use of the program is illustrated by means of some simple examples; nevertheless, it is to be underlined that it provides effective also for more complex computations where one has to deal with very large expressions.

中文翻译：

---

ReLie：用于对微分方程进行李群分析的Reduce程序

李对称分析为研究常微分方程和偏微分方程提供了一般的理论框架。即使通常涉及冗长的计算，该理论也是完全算法的。由于这个原因，多年来，许多计算机代数软件包已经被开发出来以使计算自动化。在本文中，我们描述了用计算机代数系统精简（Computer Algebra System Reduce）编写的ReLie程序，该程序自2008年以来是一个开源程序（http://www.reduce-algebra.com），适用于所有平台。\ relie能够几乎自动执行微分方程的Lie对称性分析所需的计算。其源代码可从http://mat521.unime.it/oliveri免费获得。通过一些简单的示例来说明该程序的使用。尽管如此，