再谈第二类差分代换

首页>文献>再谈第二类差分代换

DOI: 10.3969/j.issn.1008-0171.2009.02.007

再谈第二类差分代换

刘保乾

西藏自治区人事厅信息中心,西藏,拉萨,850000

摘要：对第二类差分代换作了进一步讨论,完善了其算法;对两类差分代换进行了比较,指出了各自的优势和局限性;讨论了代换加速的一些思路和方法.

关键词：差分代换多项式机器证明

分类号：O15(代数、数论、组合理论)

论文发表日期：2009-01-01

在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）

页数：6( 25-30 )

英文信息展开

佛山科学技术学院学报（自然科学版）

佛山科学技术学院学报（自然科学版）

ISSN：1008-0171

年,卷(期)：2009,27(2)

所属栏目：数理科学