CTcong.txt（中文） swMATH ID: 30553 软件作者： 威廉·Y·C·陈。；侯庆虎；多龙·泽尔伯格 描述： 组合序列部分和同余定理的自动发现和证明。对于具有整数系数的变量（x）中的一些Laurent多项式（P（x））和（Q（x）。用（a_k）表示这样一个序列，我们得到了一个通用公式，它确定了任意素数（p）和任意正整数（r）的不定和（sumlimits_{k=0}^{rp-1}a_k）的同余类模（p），作为满足常系数线性递归（别名差分）方程的序列的线性组合。这使我们（或者更确切地说，我们的计算机）能够自动发现并证明此类部分和的同余定理。此外，我们还证明了在许多情况下，剩余集是有限的，与素数（p）无关。 主页： http://sites.math.rutgers.edu/~zeilberg/tokhniot/CTcong.txt 依赖项： 枫树 关键词： 多项式；组合序列；Legendre符号；劳伦特系列 相关软件： OEIS公司；MultiZeilberger公司；RookWalks公司；qTSPP公司；ContMarkovWZ公司；马尔科夫AZ；马尔科夫WZ 引用于： 6文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 组合序列部分和同余定理的自动发现和证明。 Zbl 1368.11020号William Y.C.陈。；侯庆虎；多龙·泽尔伯格 2016 全部的 前5名10位作者引用 2 摩亚阿帕戈杜 2 侯庆虎 2 多龙·泽尔伯格 1 陈少石 1 陈勇川 1 冯吉社 1 高小璐 1 潘、卓 1 王晓梦 1 王玉山 4篇连载文章中引用 2 国际数论杂志 1 美国数学月刊 1 差分方程与应用杂志 1 中国数学前沿 在3个字段中引用 5 组合数学（05-XX） 5 数论（11-XX） 1 计算机科学（68至XX） 按年份列出的引文