微分方程李对称性判定Reduce软件包

数据集概述

本数据集为用于判定常微分方程与偏微分方程李对称性的Reduce软件包，包含LIE0至LIE4程序，支持物理领域通过对称性分析获取额外物理洞察，提供相关程序文件及元数据。

文件详解

• 文件名称: aazb_v1_0.gz
• 文件格式: GZ压缩包 (.gz)
• 文件内容: 包含LIE0、LIE1、LIE2、LIE3、LIE4程序文件及相关资源，用于在Siemens 7.760计算机BS 2000操作系统下运行LISP语言编写的李对称性判定程序

数据来源

CPC Program library, Queen's University in Belfast, N. Ireland

适用场景

• 物理方程对称性分析: 用于研究常微分方程与偏微分方程的李对称性，辅助推导物理规律
• 计算物理研究: 支持通过对称性分析提升对物理问题的理解深度
• 微分方程理论研究: 为数学领域微分方程对称性理论验证提供计算工具
• 历史计算程序复现: 用于复现1982年发表的李对称性判定经典程序功能