穆拉特·坎坎;法坎达阿夫扎尔;阿伊莎·马库尔;迪巴·阿夫扎尔 有效计算差分字符集的算法。 （英语） Zbl 1484.12008年 J.离散数学。科学。密码学 23，第6期，1203-1216（2020）. 小结：为了将微分多项式集和系统三角化，我们可以使用Ritt和Wu的字符集方法。该方法使用微分伪除法逐次消除变量。本文证明了在计算微分字符集时，微分伪除法可以用重要的约简来代替。提出了一种有效计算差分字符集的算法。该算法方案已通过精确的允许差分约简执行。初步结果表明，该算法比基于差分伪除法的字符集算法取得了更好的结果。 引用于1文件 MSC公司： 05年12月12日 微分代数 68瓦30 符号计算和代数计算 关键词：减少;微分字符集;微分伪除法;使成三角形;基本集合 软件：艾司隆 PDF格式BibTeX公司 XML格式引用 \textit{M.Cancan}等人，J.离散数学。科学。密码学23，No.6，1203--1216（2020；Zbl 1484.12008） 全文： 内政部 参考文献： [1] Ritt，J.F.，微分代数（1950），纽约：AMS出版社，纽约·Zbl 0037.18501号 [2] Wu，W.T.，微分几何的机械定理证明及其在力学中的一些应用，J.自动推理，7（1991）·Zbl 0736.03002号 [3] Wang，D.，微分多项式系统的消去方法，系统科学与数学科学，9216-228（1996）·Zbl 1065.12500号 [4] Wang，D.，计算字符集的通用算法，165-174（2001），世界科学出版社：新加坡世界科学出版社·Zbl 1033.68140号 [5] Wang，D.，符号计算中的消除方法、文本和会标（2001），Springer-Verlag:Springer-Verlag，纽约州维也纳·Zbl 0964.13014号 [6] Wang，D.，《消除实践：软件工具和应用程序》（2004），帝国理工学院出版社：帝国理工大学出版社，伦敦·Zbl 1099.13047号 [7] Hubert，E.（2004）对高阶常微分系统三角分解算法的改进。ISSAC’04 191-198年符号和代数计算国际研讨会论文集·Zbl 1134.12303号 [8] Afzal，F.，《常微分多项式集的广义特征集的一些应用》，MATEC网络会议，第77卷，2016年，第三届机械与机电研究国际会议（ICMMR 2016）。 [9] Boulier，F。；Lemaire，F。；Moreno Maza，M.，《通过改变顺序计算微分字符集》，《符号计算杂志》，45124-149（2010）·Zbl 1194.68264号 ·doi:10.1016/j.jsc.2009.09.004 [10] 加洛，G。；米什拉，B。；Wu-Ritt，字符集及其复杂性，离散数学和理论计算机科学，美国数学学会普罗维登斯，61110-136（1999） [11] Afzal，F.，常微分多项式集的广义特征集，科学国际，28，3（2016） [12] 孟，J。；L·晓亮。；Wang，D.，计算字符集的新算法方案，符号计算杂志，50431-449（2013）·Zbl 1255.13001号 ·doi:10.1016/j.jsc.2012.04.004 [13] Wu，W.T.，-1991）数学-机械化研究预印本，中国科学院MM研究中心，986，1-6（1987） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。