A.K.海德。 LIE，一个用于微分方程LIE分析的PC程序。 （英语） Zbl 0854.65055号 计算。物理学。Commun公司。 77，编号1-3，241-248（1993）. 概述：LIE是一个独立的PC程序，用于分析常微分方程或偏微分方程，无论是单个方程还是联立方程组。它生成测谎方程，并自动求解，将解分解为测谎向量并计算向量的交换子。除了求解李方程外，这些步骤都是确定的；这是通过启发式过程完成的。由于在某些情况下，启发式程序一定会失败，因此提供了方便的用户干预来提供帮助，尽管在实践中这几乎是不必要的。LIE还可以帮助建议目标微分方程中出现的符号常数和函数的可能特殊值。它是用符号数学语言MUMATH编写的，可以在任何PC上运行。 引用于94文件 MSC公司： 65升05 常微分方程初值问题的数值方法 34-04 与常微分方程有关的问题的软件、源代码等 68瓦30 符号计算和代数计算 34A25型 常微分方程分析理论：级数、变换、变换、运算微积分等。 关键词：微分方程;精确解;符号计算;Lie对称;穆马特;PC程序;谎言分析;Lie方程 软件：谎言;留置权0;SYMMGRP公司。马克斯 PDF格式BibTeX公司 XML格式引用 \textit{A.K.头部}，计算。物理学。Commun公司。77，编号1--3，241--248（1993；Zbl 0854.65055） 全文： 内政部 参考文献： [1] Olver，P.J.，李群在微分方程中的应用（1986），Springer:Springer New York·Zbl 0656.58039号 [2] Bluman，G.W。；Kumei，S.，《对称与微分方程》（1989），Springer:Springer New York·Zbl 0718.35003号 [3] Hill，J.M.，《用单参数群求解微分方程》（1982），皮特曼：皮特曼伦敦·Zbl 0497.34002号 [4] 施瓦兹，F.，SIAM Rev.，30，450（1988）·Zbl 0664.35004号 [5] 香槟，B。；Hereman，W。；Winternitz，P.，计算。物理学。社区。，66, 319 (1991) ·Zbl 0875.65079号 [6] Schwarz，F.，《计算》。物理学。社区。，27, 179 (1982) [7] Hereman，W.，欧洲数学公告。，2（1993），出庭 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。