微分多项式系统的约化算法理论

• 作者: 朝鲁
• 来源期刊: 数学进展
• 学科: 数学
• 关键词: 微分多项式 特征列集 约化
• 年，卷（期）: 2003,（2）
• 页码范围: 208-220
• 页数: 13页
• 分类号: O187
• 字数: 3062字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-0917.2003.02.009

摘要

本文中,作者推广了纯代数形式的特征列集理论(吴方法)为微分形式的相应理论,即建立了在机器证明和诸多微分问题中非常重要的微分多项式组的约化算法理论.引入了一些新的概念和观点使函数微分(导数)具有直观的代数几何表示.给出了Coherent条件下的特征列集的算法.给出的算法易于在计算机上实现并适合应用于广泛的微分问题,如微分方程对称计算,各种微分关系的自动推理等问题.