Improved Kolchin-Ritt algorithm
Improved Kolchin-Ritt algorithm
复制标题
DOI：
10.1023/a:1022996615890
复制
发表时间：
2003-03-01
影响因子：
0.7
通讯作者：
Gerdt, VP
中科院分区：
文献类型：
--
作者：
Carra'Ferro, G;Gerdt, VP
提出了一种计算有限生成微分理想扩展特征集的算法。该算法改进了著名的Kolchin-Ritt算法。在计算过程的中间阶段，通过计算代数Grobner来实现改进。得到的扩展特征集的秩小于或等于由Kolchin-Ritt算法得到的扩展特征集的秩。给出了证明秩降的例子。
An algorithm for computation of an extended characteristic sets for finitely generated differential ideals is suggested. This algorithm improves the well-known Kolchin-Ritt algorithm. The improvement is achieved through computing algebraic Grobner bases on intermediate stages of the computation process. The rank of the extended characteristic set obtained is less than or equal to that of the set obtained by the Kolchin-Ritt algorithm. Examples demonstrating the rank reduction are presented.