大型微分方程组Lie点对称计算机计算数据集

数据集概述

该数据集包含一个MACSYMA程序SYMMGRP.MAX，用于辅助计算大型微分方程组的Lie对称群。程序可针对含任意正整数个独立变量、因变量及任意阶微分方程的系统，自动生成向量场系数的确定方程组，支持物理现象建模中对称群的应用需求。

文件详解

• 文件名称: acbi_v1_0.gz
• 文件格式: GZ压缩包（.gz）
• 内容说明: 压缩包内包含MACSYMA程序SYMMGRP.MAX，用于计算大型微分方程组的Lie点对称，生成确定方程组，具体字段及内部结构需解压后查看原始程序内容。

数据来源

CPC Program Library（Queen's University Belfast，1969-2018）、Mendeley Data

适用场景

• 数学物理研究: 分析微分方程系统的对称群结构，辅助物理模型的对称性验证
• 微分方程求解: 利用对称群生成新解、简化方程系统或分类解空间
• 计算数学应用: 验证微分方程建模的有效性，探索对称约化方法的实际应用
• 符号计算工具开发: 参考MACSYMA程序设计，拓展微分方程对称分析的算法实现