文献类型：期刊文章

作　　者：朝鲁[1]

机构地区：[1]内蒙古工业大学基础部

出　　处：《数学进展》

基　　金：Supported by the National Natural Science Foundation of China(Grant.No.19861003).

年　　份：2003

卷　　号：32

期　　号：2

起止页码：208-220

语　　种：中文

收录情况：BDHX、BDHX2000、CSCD、CSCD2011_2012、JST、MR、ZGKJHX、核心刊

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

关 键 词：微分多项式系统  约化算法  吴方法 特征列集  微分多项式 链  基本集  约化  Coherent条件  

分 类 号：O241.8]