微分多项式积分REDUCE程序

数据集概述

该数据集包含一个用于微分多项式积分的REDUCE程序，核心功能是将微分多项式分解为“全导数”和“泛函微分单项式”，解决多项式演化方程守恒密度计算问题，现有符号编程标准包无法实现此分解。

文件详解

• 文件名称: acjg_v1_0.gz
• 文件格式: GZ压缩包（.gz）
• 内容说明: 包含REDUCE程序主体文件，用于执行微分多项式积分运算，测试用例的输入输出包含在程序库文件中

数据来源

CPC Program Library（Queen's University Belfast）、Mendeley Data

适用场景

• 数学计算研究: 用于微分多项式的符号积分与分解运算
• 物理学研究: 计算多项式演化方程的守恒密度
• 符号计算工具开发: 补充现有符号编程软件包的微分多项式处理功能
• 计算科学应用: 解决需要微分多项式分解的数值计算问题